School of Computing Science

Staff Profiles

Dr Nisansala Yatapanage

Research Associate

Background

I'm currently working on the Taming Concurrency project with Cliff Jones and Andrius Velykis. I joined the project in September 2013.

Before coming to the UK, from 2004 I worked on various projects in formal methods in The University of Queensland and Griffith University, Australia. I completed my PhD in 2012 at Griffith.

For further details, please refer to my website, listed above. 

Research

Cliff Jones and I have just finished a paper Reasoning about Separation using Abstraction and Reification in SEFM'15, available here: http://dx.doi.org/10.1007/978-3-319-22969-0_1

I have just published a paper with Kirsten Winter on my PhD results in the journal Theoretical Computer Science. It can be found here: http://dx.doi.org/10.1016/j.tcs.2015.05.013

For more details about my research, have a look at my website: 

 http://homepages.cs.ncl.ac.uk/nisansala.yatapanage

 



Teaching

 Demonstrator for CSC3321 (Understanding Programming Languages) - Semester 2, 2013/2014.

 Guest lecturer / Demonstrator for CSC3321 (Understanding Programming Languages) - Semester 2, 2014/2015.

 Guest lecturer / Demonstrator for CSC3321 (Understanding Programming Languages) - Semester 2, 2015/2016.

Publications