Project Area
The verification of programs is essential, as software now controls everything in our lives. The verification of concurrent programs is notoriously challenging.
A PhD scholarship is available in the area of formal methods for concurrency verification, supervised by Dr. Nisansala Yatapanage (see my website). The exact topic is flexible and can be determined based on the student’s interests and background, as long as it aligns with my research areas, such as rely/guarantee reasoning, separation logic, model checking and temporal logic.
Final year undergraduate or Masters ANU students and graduates are welcome to come and have a chat with me about potential topics.
Suitability
Both domestic and international students (both current ANU and non-ANU students) are welcome to apply. Students must have a background in formal methods, mathematical logic, or strongly related areas.
Please send me your C.V., a cover letter and your academic transcripts, to nisansala.yatapanage@anu.edu.au.