School of Electronic Engineering and Computer Science

people menu

Prof Dino Distefano

Professor of Software Verification

Research Interests

I’m mainly interested in automatic program verification. In particular I focus on the application of separation logic as a main tool for modular program analysis and model checking of software.

Return to top