Computer Laboratory

Shaun Steenkamp

University of Cambridge Computer Laboratory
Programming, Logic, and Semantics Group
Office: FE15
Email: firstname.lastname@cl.cam.ac.uk

Note: Please don’t expect URL paths starting with /~ to be persistent, including this page and its subpages.

Research

I am currently a PhD student under Prof Andrew Pitts. My research interests include type theory, particularly higher inductive types.

Teaching

The courses that I have previously or am currently supervising include: