CURRENT FUNDED PROJECTS
Looking for a PhD
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.