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.
My research area is formal methods for verification of safety-critical systems and concurrency. At The Australian National University (ANU), I am researching methods for the verification of security protocols, with Professor Alwen Tiu.
Before coming to ANU, I was a Senior Lecturer at De Montfort University, UK, since 2017. Before that, from 2013 to 2017, I was a Research Associate at Newcastle University, UK, working on concurrency verification using rely/guarantee reasoning, with Professor 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 Professor 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 Professor Geoff Dromey on the Behavior Tree specification language.
Activities & Awards#
Please see my website for more information and for a full list of my publications: https://users.cecs.anu.edu.au/~u1102274/