My research area is formal methods for verification of safety-critical systems and concurrency. At ANU, I am researching methods for the verification of security protocols, with Prof. Alwen Tiu.
Before coming to ANU, I was a Senior Lecturer at De Montfort University, U.K., since 2017. Before that, from 2013 to 2017, I was a Research Associate at Newcastle University, U.K., working on concurrency verification using rely/guarantee reasoning, with Prof. Cliff B. Jones. From 2011 to 2013, I worked on projects on the verification of an air-traffic control system at The University of Queensland, Australia. My PhD was at Griffith University, supervised initially by Prof. Geoff Dromey and then by Dr. Kirsten Winter. Before my PhD, from 2004 to 2007, I was a researcher in the ARC Centre for Complex Systems and Griffith University, working with Prof. Geoff Dromey on the Behavior Tree specification language.
Please see my website for more information and for a full list of my publications: https://users.cecs.anu.edu.au/~u1102274/
I taught courses at De Montfort University, where I was a senior lecturer, and at Newcastle University in the U.K. I have an HEA fellowship qualificaiton.
Please see my website for more details.
My research interests include:
- formal methods
- safety-critical systems
- model checking
- rely-guarantee reasoning
- security protocol verification
- temporal logic
Please see my website for full details about my research.