Project Offers

This page lists a couple of projects I am offering at the moment. However, projects are not limited to the listed projects. In case you want to write your thesis (PhD, Msc, Hon, Bsc) under my supervision or in case you are interested in a research project or an internship, feel free to contact me directly.

PhD projects

I am always willing to supervise (excellent) PhD students. Please contact me directly in case you are interested in doing a Phd in the wide area of formal modelling, reasoning and analysis. In particular, I offer PhD topics in the area of process algebra, Kleene algebra, routing protocols and expressiveness.
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 my research. Therefore, in your letter, you will need to show that you have some understanding of what I do, demonstrate that by joining us you will bring something interesting to my research group, and that you've identified something in my work that particularly interests you.
Go Up

Theses (Msc/Hon/Bsc) & Undergraduate Projects

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, including a link to the Study Contract.

Verifying Liveness Properties in Isabelle/HOL    (12 credits)

Keywords: formal verification, proof mechanisation, logic

show more

Verifying Concurrent Data Structures with Isabelle/HOL    (12/24 credits)

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

show more

Finding Attacks by means of Predicate Transformers    (24 credits)

Keywords: formal methods, concurrent systems, Hoare logic

show more

Verifying Elements of Algorithmic Graph Theory    (12/24 credits)

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

show more

Mechanisation of the milli Common Representation Language    (12/24 credits)

Keywords: process algebra, Isabelle/HOL, proof mechanisation

show more

Modelling, Analysing and Verification of Wireless Mesh Network Routing Protocols    (multiple projects; 12/24 credits)

Keywords: process algebra, formal modelling, formal methods

show more

Go Up

Internships @ ANU

DAAD Rise (Research Internship in Science and Engineering), Germany

DAAD-funded scholarships. Students in the early stages of their studies who have the ambition to work abroad and gain hands-on research experience in their fields will be matched with researchers worldwide. DAAD will support these short-term summer internships by awarding scholarships to successful applicants to help cover parts of the living and travel costs.
More details at
No Internships available at the moment. Please check DAAD for dates of forthcoming scholarship opportunities.
Go Up
Last update: Jan. 05, 2022