Skip to content

Dr Nisansala Yatapanage

Job: VC2020 Lecturer in Computer Science

Faculty: Computing, Engineering and Media

School/department: School of Computer Science and Informatics

Address: De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom

T: +44 (0)116 257 7776




Personal profile

I joined De Montfort University in April 2017. I was a Research Associate at Newcastle University from 2013 to 2017 working on the Taming Concurrency project with Cliff Jones, investigating concurrency using techniques such as abstraction and rely-guarantee reasoning. Before that, I worked as a researcher on several projects at Griffith University and The University of Queensland (UQ), in Brisbane, Australia. From 2004 to 2007 I was a Research Assistant at Griffith and a visiting researcher at UQ, on a project on specification and verification using Behavior Trees and model checking to automate failure analysis. From 2007 to 2011 I studied a PhD on the topic Slicing Behavior Trees for Verification of Large Systems at Griffith University. From 2011 to 2013, I was a Research Officer at UQ working on the safety analysis of an air-traffic control system using Behavior Trees and model checking. For further information, please visit my website, listed above.

Research group affiliations

Publications and outputs

[Add Publications and Outputs content here]

Key research outputs

For a full list of my publications, please see my website, listed above.

Yatapanage, N. and Winter, K. (2015). Next-preserving Branching Bisimulation, Theoretical Computer Science. 594:120-142.

Lindsay, P.A., Yatapanage, N. and Winter, K. (2012). Cut Set Analysis using Behavior Trees and Model Checking, Formal Aspects of Computing. 24(2):249-266.

Grunske, L., Winter, K., Yatapanage, N., Zafar, S. and Lindsay, P.A. (2011). Experience with Fault Injection Experiments for FMEA, Journal of Software: Practice and Experience. 41(11):1233-1258.

Grunske, L., Winter, K. and Yatapanage, N. (2008). Defining the Abstract Syntax of Visual Languages with Advanced Graph Grammars - A Case Study Based on Behavior Trees. Journal of Visual Languages and Computing. 19(3):343-379. 

Jones, C. B. and Yatapanage, N. (2015). Reasoning about Separation using Abstraction and Reification. Software Engineering and Formal Methods (SEFM 2015), Proc., LNCS. Springer-Verlag. vol. 4674, pp. 122-131.

Yatapanage, N., Winter, K. and Zafar, S. (2010). Slicing Behavior Tree Models for Verification. Theoretical Computer Science, 6th IFIP International Conference (TCS 2010), Proc., IFIP Advances in Information and Comunication Technology. vol. 323, pp. 125-139.

Grunske, L., Lindsay, P., Yatapanage, N. and Winter, K. (2005). An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees. Integrated Formal Methods: 5th International Conference (IFM 2005), Proc., LNCS. Springer-Verlag. vol. 3771, pp.129-149.

Research interests/expertise

Formal methods, software verification, software specification, safety-critical systems, hazard analysis, concurrency, model checking, rely-guarantee reasoning

Areas of teaching

Data Structures and Algorithms, Scientific Reasoning and Software Testing.


PhD, Griffith Unversity, 2012

Bachelor of Engineering (Software Engineering) with Honours Class I, The University of Queensland, 2003

Membership of professional associations and societies

Professional Member of the ACM since 2009,

Professional Member of BCS since April 2017.

Conference attendance

Kent Concurrency Workshop, University of Kent, Canterbury, 21st to 22nd July, 2016. 

Northern Concurrency Meeting, Newcastle University, 2nd Dec, 2015. 

13th International Conference on Software Engineering and Formal Methods (SEFM 2015), York, 9th to 11th Sep, 2015. 

26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, 1st to 4th Sep, 2015. 

Imperial Concurrency Workshop, Imperial College London, 15th to 16th July, 2015. 

19th International Symposium on Formal Methods (FM 2014), Singapore, 12th to 16th May, 2014. 

York Concurrency Workshop, The University of York, 28th to 29th April 2014. 

6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Brisbane, 20th to 23rd Sep, 2010.