I welcome applications for doctoral study on topics related to my research interests and funded projects. Topics include applications of formal logic, mechanised proof, model checking and theorem proving, automated verification, software verification, digital circuit design, programming language semantics, and metacomputation. Have a look at the current research featured on my web pages and my recent publications. See also the work done by my current and former graduate students, as well as the web pages of the Automated Verification group at Oxford.
Enquiries. For informal enquiries, just email me. I will be pleased to hear from you - and happy to explore the kinds of research topics you might want to pursue and specifics of your academic background that make you suited to research in this area.
Applications. If you feel there is a good match between your interests and my research, please consider making a formal application to our DPhil programme. (In Oxford, the PhD degree is called a ‘DPhil’.) Full details on the procedure for applying and lots of helpful information on doctoral study at Oxford are available on the Department's web page for prospective DPhil students.
Funding. I sometimes have funding for specific projects, in which case these will be advertised prominently on my home page. The Department also invites applications for scholarships - check our studentship vacancies webpages for opportunities. Have a look at the scholarships section of the University's scholarship search web pages. This provides links to numerous sources of funding support for doctoral studies.