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 of robotic applications to start in 2018/19.  If you have strong modelling skills and would like to join a world-class research group, read on.