NUS School of Computing and Yale-NUS College

• CS4212: Compiler Design, NUS School of Computing
  Autumn 2022-2024 (x3)
• YSC4231: Parallel, Concurrent and Distributed Programming (née YSC3248), Yale-NUS College
  Autumn 2019-2024 (x6)
• CS6217: Topics in Programming Languages & Software Engineering, NUS School of Computing
  Autumn 2023
• CS5232: Formal Specification and Design Techniques, NUS School of Computing
  Spring 2023
• CS4215: Programming Language Implementation, NUS School of Computing
  Spring 2022
• CS6213: Special Topics in Distributed Computing, NUS School of Computing
  Spring 2021
• YSC4230: Programming Language Design and Implementation (née YSC3208), Yale-NUS College
  Autumn 2020-2021 (x2)
• YSC2229: Introductory Data Structures and Algorithms, Yale-NUS College
  Spring 2019-2021 (x3)
• YCC1122: Quantitative Reasoning, Yale-NUS College
  Autumn 2019

Short Courses

• Programming with Proofs 2025, Neapolis University Pafos, Cyprus. November 2025.
  
• Practical Formal Methods 2024, Neapolis University Pafos, Cyprus. November 2024.
  
• SIGPL Summer School 2018, Dongguk University, Seoul, Korea. August 2018.
  [Lecture 1], [Lecture 2], [Lecture 3]
• Programs and Proofs: Mechanizing Mathematics with Dependent Types
  JetBrains Inc. / Saint-Petersburg State University. August 2014.

Past Teaching

at University College London

• ENGS102P: Design and Professional Skills, Scenario Project Organiser. UCL.
  Spring 2018.
• COMP104P: Theory II, Anallysis of Algorithms, Lecturer. UCL.
  Spring 2016, Spring 2017, Spring 2018.
• COMP214P: Systems Engineering, Scenario Week Designer. UCL.
  Autumn 2017. [Intro | Conclusion]
• COMP205P: Software Engineering and HCI, Scenario Week Designer. UCL.
  Spring 2017. [Intro | Conclusion]
• COMP205P: Software Engineering and HCI, Scenario Week Designer. UCL.
  Spring 2016. [Intro | Conclusion]
• COMP2012: Directed Reading, Second Examiner. UCL. Spring 2016.

at KU Leuven

• B-KUL-H04L5A: Comparative Programming Languages, TA, Autumn 2011
• B-KUL-H04H8B: Formal systems and their applications, TA, Guest Lecturer, Autumn 2010
• B-KUL-H04H8B: Formal systems and their applications, TA, Guest Lecturer, Autumn 2009