Teaching
Instructor
 | Spring 2026 - Advanced Topics in Systems Software (CPSC 5800) |
| Fall 2025 - Computer Architecture (CPEN 4700) |
Teaching Assistant
 | University of Florida, Department of Computer & Information Science & Engineering CDA5636/CDA4630: Embedded Systems |
 | University of Moratuwa, Department Of Computer Science and Engineering CS4362 - Hardware Description Languages CS3282 - Industrial Computer Engineering Project |
Talks and Guest Lectures
- Towards Push-Button Verification of HW and FW: Invited Talk, Apple Inc , Munich, Germany, (23 April 2025) , ( slides )
- Systems Design, Verification and Validation: Guest Lecture (CS1050), University of Moratuwa, Department of Computer Science and Engineering, (2 May 2024) , ( slides )
- Hardware Verification and Validation: Guest Lecture (CS1050), University of Moratuwa, Department of Computer Science and Engineering, (8 June 2023) , ( slides , video )
- Efficient Finite State Machine Encoding for Defending Against Laser Fault Injection Attacks: Talk, in IEEE International Conference on Computer Design (ICCD), Lake Tahoe, CA, (23 Oct 2022) , ( slides )
- Assertion-based Security Verification of Network-on-Chips: Talk, in TECHCON 23 by Semiconductor Research Corporation (SRC), Austin, TX, (18 Sept 2022)
- FPGA and Processor Design: Guest Lecture (CS2052), University of Moratuwa, Department of Computer Science and Engineering, (20 July 2022)
- Future of Computer Engineering: Invited Talk, Organized by Athugalpura Leo Club, Sri Lanka, (21 Aug 2021) , ( slides )
- Hardware Description Languages: Guest Lecture (CS4362), University of Moratuwa, Department of Computer Science and Engineering, (17 July 2021) , ( slides )
- Drones and Future: Invited Talk, Robotics Club, University of Moratuwa, (30 Sept 2020) , ( slides )
- Building Your Career as a Researcher: Invited Talk, ACM Chapter, University of Moratuwa, (10 Aug 2020)
- Autonomous Drones in Past, Present and Future: Invited Talk, Leo Club, University of Moratuwa, Sri Lanka, (12 Sept 2018)