CS5219 - Automated Software Validation
August 2022 - December 2022
Tutor
CS4211 - Formal Methods for Software Engineering
August 2018 - December 2018, August 2019 - December 2019, August 2021 - December 2021
Teaching Assistant
CS5331 - Web Security
January 2018 - May 2018
Teaching Assistant
University of Moratuwa, Sri Lanka
CS2963 - Presentation Skills
May 2015 - September 2015
Visiting Instructor