Teaching
My teaching interests include theory of computation, discrete structures,
programming languages, operational and denotational semantics, functional
languages such as Haskell, and category theory.
Also of interest is my scientific perspective course, CoreSP142/COSC150
that considers contemporary issues in computing.