Nisansala Yatapanage

Lecturer and FHEA


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.

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

bars search times arrow-up