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