Along the way.

I presented our work on "Class-Dictionary Specialization with Rank-2 Polymorphic Functions" at SPLASH/ISSTA 2026!

[NUS] IT5100E—Industry Readiness: Security Best Practices starts today. See you there!

[NUS] IT5000—Introduction to Computing Foundations starts today. I will be teaching the Discrete Structures portion (Day 1, 4 Aug). See you there!

I am a ACM SRC grand finals candidate. Didn't win though. My paper is here.

[NUS] I will be speaking on cybersecurity and AI with NUS SoC Research Partnership today.

[NUS] IT5100E—Industry Readiness: Security Best Practices starts next week. See you there!

Our paper on Class-Dictionary Specialization With Rank-2 Polymorphic Functions has been accepted for publication at OOPSLA 2026.

[NUS] IT5100B—Industry Readiness: Stream Processing starts next week. See you there!

Happy New Year! Do I really turn 30 this year?

I will be speaking on "Exploring Fixed-Point-Oriented Programming" at the SG PL Summit 2025!

My presentation on "Fixed-Point-Oriented Programming with Orders" received the first prize at the Student Research Competition at ICFP'25!

I presented our paper on "Pushing the Information Theoretic Limits of Random Access Lists" at ICFP'25!

[NUS] IT5100B—Industry Readiness: Stream Processing starts today. See you there!

[NUS] IT5100A—Industry Readiness: Typed Functional Programming has started! Course notes are available here. The notes are in the midst of a (visual) revamp; expect regular updates!

[NUS] IT5000—Introduction to Computing Foundations starts today. I will be teaching the Discrete Structures portion (Day 1, 5 Aug). See you there!

We published our white paper on Fixed-Point-Oriented Programming.

Our paper "Pushing the Information-Theoretic Limits of Random Access Lists" was accepted for publication at the International Conference on Functional Programming (ICFP) 2025.

I am attending OPLSS 2025 at the University of Oregon!

I will be advising Divakar Rajesh Selvam on his project on a web-based agentic video editing and repurposing tool.

[NUS] IT5100E—Industry Readiness: Security Best Practices starts today. Please contact me if you wish to audit this course. See you!

[NUS] I have received the Faculty Teaching Excellence Awards!

[NUS] IT5100B—Industry Readiness: Stream Processing starts tomorrow. Please contact me if you wish to audit this course. See you tomorrow!

[NUS] IT5000—Introduction to Computing Foundations starts tomorrow. I will be teaching the Discrete Structures portion (Day 1, 7 Jan). See you there!

Happy New Year to everyone!

[NUS] Teaching Assistantship positions for IT5100B and IT5100E have closed. Thank you to all applicants!

I have completed my PhD Qualifying Exams!

[NUS] IT5100A—Industry Readiness: Typed Functional Programming has started! Course notes are available here.

[NUS] IT5000—Introduction to Computing Foundations starts tomorrow. I will be teaching the Pure Mathematics and Discrete Structures portion (Day 1, 5 Aug). See you there!

I will be trialing Motivating Mathematics Study in Prospective Computer Scientists with Interactive Theorem Proving during IT5000—Introduction to Computing Foundations.

[NUS] SoC Postgraduate department has launched a new initiative for prospective M.Comp. (General Track) and M.Sc. Digital Financial Technology students to be able to replace IT5001 with another course based on their performance in a proficiency test. More information can be found in the email you received. Email it5001pt@comp.nus.edu.sg for queries.

[NUS] Teaching Assistantship positions for IT5100A have been filled. IT5100B and IT5100E are still recruiting.

[NUS] I will be teaching Pure Mathematics and Discrete Mathematics at the upcoming SoC Graduate Bootcamp held in early August. Graduate Certificate in Computing Foundations, M.Comp. (General Track) (among some others) students may look forward to this bootcamp in early August 2024.

[NUS] Applications for Teaching Assistantship positions for IT5100A, IT5100B and IT5100E are now open. Undergraduate and Postgraduate applicants are welcome. Please email your CV to me if interested.

[NUS] I will be teaching IT5100A in AY24/25 Semester 1, and IT5100B & IT5100E in AY24/25 Semester 2. M.Comp. (General Track) students can email me if interested in being a guest student in these courses.

[NUS] SoC Postgraduate department has launched a new initiative—the SoC Graduate Bootcamp—to help prospective students with mathematical foundations they may not have learnt during their undergraduate studies. I will be teaching the Pure Mathematics and Set Theory portions this upcoming session. Graduate Certificate in Computing Foundations, M.Comp. (General Track) (among some others) students may look forward to this bootcamp in early January 2024.

[APLAS '23] I have won 2nd place at the APLAS '23 Student Research Competition in Academia Sinica, Taiwan.

[APLAS '23] My submission to the APLAS '23 Student Research Competition in Academia Sinica has been accepted.

I have started my Ph.D. under the advice of A/P Michael D. Adams!

I have just completed my M.Sc. in Computer Science!

[NUS] I will be teaching IT5100E in AY23/24 Semester 1, and IT5001 & IT5100B in AY23/24 Semester 2.