I am currently looking for PhD students. There are scholarships available. Both domestic and international students are encouraged to contact me if you have research interests relating to mine.
I am interested in the use of formal methods for various applications, in particular concurrency and safety-critical systems.
Please see my website for full details about my research.
Prior to doing my PhD, from 2004 to 2007, I was a researcher in the ARC Centre for Complex Systems and Griffith University, working on specification and verification for safety-critical systems using the Behavior Tree language and model checking. This was followed by my PhD studies at Griffith University, supervised by Dr. Kirsten Winter. I received my PhD in 2012. From 2011 to 2013, I worked on a project on the verification of an air-traffic control system at The University of Queensland.
Following this, I moved to the U.K., where I worked with Prof. Cliff Jones at Newcastle University, on concurrency verification, from 2013 to 2017, and as a lecturer at De Montfort University in Leicester, from 2017 to 2019.
I joined ANU in 2020, working on a project on the verification of security protocols, with Dr. Alwen Tiu. I have been a lecturer at ANU since January 2022.