Karen Knight is our Undergraduate Program Assistant and she's here to help with your questions about our undergraduate program.
Debby Robertson is our Graduate Program Assistant, and she’s here to help with your questions about our graduate program.
Nancy Churchman is our Research Manager, and she’s here to help with your questions about our research.
Specifying syntax and semantics; operational and denotational semantics. Lambda calculi, type systems and logical foundations. Meta-theoretic properties. Semantics of imperative languages.
Registration in a School of Computing Plan and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in (CISC 204 and CISC 223 and [CISC 360 or CISC 260]).