PhD Studies

Supervised PhD Students

Advises for Future PhD Students

I always welcome applications from self-funded PhD students in the area of formal methods, information security, software security, security engineering (both, software and hardware), verification, testing, and - preferably - combinations thereof.

For more information about pursuing a PhD in Computer Science at the University of Exeter, please visit the postgraduate research page of the department. If you want to be supervised by me, please contact me at least four weeks before you apply (and before the deadline).