NUS School of Computing and Yale-NUS College

• CS5232: Formal Specification and Design Techniques, NUS School of Computing
  Spring 2023
• CS4212: Compiler Design, NUS School of Computing
  Autumn 2022
• YSC4231: Parallel, Concurrent and Distributed Programming (née YSC3248), Yale-NUS College
  Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022
• 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, Autumn 2021
• YSC2229: Introductory Data Structures and Algorithms, Yale-NUS College
  Spring 2019, Spring 2020, Spring 2021
• YCC1122: Quantitative Reasoning, Yale-NUS College
  Autumn 2019

Graduate Schools

• 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