Research
I am interested in the use of formal methods for various applications, in particular concurrency, safety-critical systems and security.
Please see my website for full details about my research.
Biography
I have been a lecturer at ANU since January 2022. My current research is on using rely/guarantee reasoning for security protocol verification and for concurrency.
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 Assoc. Prof. Alwen Tiu.