Speaker: Prof Dino Distefano.
Prof Distefano will discuss the techniques used in detecting software defects related to data structures.
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.
