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
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