PLT @ Programming Research Lab
College of Computer and Information Science
West Village H 308
My goal is to design programming languages that are highly expressive yet also suitable for developing large scale software by using tools such as type systems and behavioral contracts.
- CS 2510: Introduction to Programming and Computing II (Spring 2012)
- CS 5010: Program Design Paradigms (Fall 2010)
- CPSC 110: Computation, Programs, and Programming (UBC Spring 2010)
- CPSC 110: Computation, Programs, and Programming (UBC Fall 2009)