My CV.

Much of my open source 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

• Program committee: OCaml 2025
• Subreviewer: POPL 2022, CAV 2022, TASE 2024, TACAS 2026
• Artifact evaluation committee: ESOP 2022
• Student volunteer: PLDI 2021, SPLASH 2022

Talks

• Answer Set Programming: Into the Multiverse, 2020, Veracode
• Coding like a DJ, 2023, BTC
• Mechanising Staged Logic, 2024, SG PL Summit
• Other talks accompanying papers can be found on my publications page.