Skip to main content


Photo of Prof Achim D. Brucker

Prof Achim D. Brucker

PhD Supervision

Group Website | Blog | @adbrucker | Google Scholar | DBLP | ORCID

PhD Supervision

I always welcome applications from self-funded PhD students in all areas of security, safety, trustworthiness, or reliability. This includes, but is not limited to, topics in one or more of the following ares: formal methods, information security, software security, security engineering (both, software and hardware), verification, testing, and 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). This allows us to discuss (and maybe adapt) project proposal. In your email (cover letter), please provide a short explanation why you want to be supervised by me, e.g.,

  • For topics proposed by me: provide a brief explanation why you are interested in my proposal and what prior-knowledge of the area you have.
  • For topics proposed by you: provide a brief explanation why I am the right person to supervise you, i.e., how does your proposal fit in my research (and where is my expertise beneficial). I also strongly recommend to have a look on my publications and research. This should give you a good idea of the type of research I am intersted in.

Ongoing PhD Projects

Completed PhD Projects