Nisansala Yatapanage

Lecturer, FHEA, MBCS, and MACM

Picture of Nisansala Yatapanage

CSIT Building 108, Office N235


Computing Foundations


Google Scholar



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.


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.

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