My resume.
Much of my work can be found on GitHub.
Teaching
- CS1101S Programming Methodology, (2013-2015, 2023)
- CS2030S Programming Methodology II (2021, 2023)
- CS2102 Database Systems (2020, 2022, 2024, 2024, 2025)
- CS2103T Software Engineering (2022)
- CS3281/CS3282 Software Engineering in Live Projects (2016)
Service
- Artifact evaluation committee: ESOP 2022
- Subreviewer: POPL 2022, CAV 2022, TASE 2024
- Student volunteer: PLDI 2021, SPLASH 2022
- Program committee: OCaml 2025
Talks
- Answer Set Programming: Into the Multiverse, 2020, Veracode
- Coding like a DJ, 2023, BTC
- Mechanising Staged Logic, 2024, SG PL Summit