If you are interested in a PhD at ANU, you’ll need to complete the relevant administrative processes. Please carefully read the information provided by our College before you do anything else. Your application will need to include a statement of support from an ANU academic. If you think you would like to work with me, my first consideration will be whether you are genuinely interested in

Please contact me in case you want to work on your thesis or your research project under my supervision. If you are interested in formal reasoning, formal modelling or verification and you do not find a topic in the list below, please contact me—additional topics may be available.

More information regarding undergraduate projects can be found at http://courses.cecs.anu.edu.au/courses/CSPROJECTS/, including a link to the Study Contract.

**Keywords: **formal verification, proof mechanisation, logic

**Keywords: **formal verification, interactive theorem proving, correctness of software

**Keywords: **formal methods, concurrent systems, Hoare logic

**Keywords: **relation algebra, verification, graph algorithms, proof mechanisation

**Keywords: **process algebra, Isabelle/HOL, proof mechanisation

**Keywords: **process algebra, formal modelling, formal methods

More details at daad.de/rise-weltweit/en/.

No Internships available at the moment. Please check DAAD for dates of forthcoming scholarship opportunities.

Last update: Oct. 21, 2020