There are no events scheduled at this time.Please check again later.
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.
CISC 204 and CISC 223 and [CISC 360 or CISC 260] or permission of the School.