University of CambridgeSuperviser (i.e. Tutor) for:
- Types (4 terms)
- Specification & Verification I (1 term)
National University of Singapore
- Conducted a 3-day Haskell course for undergraduates.
- Lab tutor for first year Java course (2 semesters).
Books to read
- Introduction to Functional Programming by Richard Bird
- Types and Programming Languages by Benjamin C. Pierce
- Software Foundations
- Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, Chris Hankin
- Videos on how to write a good paper, give a good talk by Simon Peyton Jones