HOME

RESEARCH

SHORT BIOGRAPHY

CURRENT FUNDED PROJECTS

PUBLICATIONS

TEACHING

 

Looking for a PhD position?

I plan to recruit a new PhD student in the area of static analysis and verification to start in 2017/18.  If you have strong modelling skills and would like to join a world-class research group, read on.