Dino Distefano serves as a Royal Academy of Engineering Research Fellow and as a Lecturer in software verification. He received his Ph.D. degree in computer science from the University of Twente. His research interests include formal methods, logic, and programming languages. He is currently focusing on automatic program verification using separation logic. He is the Coinventor of several software verification tools including Space Invader, Abductor, and jStar.
Biography Updated on 15 August 2011