Roger Needham lecture 2012

Memory safety proofs for the masses

Speaker: Prof Dino Distefano.

Prof Distefano will discuss the techniques used in detecting software defects related to data structures.

Watch the lecture

Watch the Q&A session

About the speaker

Prof Distefano’s research interests lie in automatic program verification, with a focus on the application of separation logic as a main tool for modular program analysis and the model checking of software.