Computer Laboratory

S. C. Steenkamp

University of Cambridge Computer Laboratory
Programming, Logic, and Semantics Group
Office: FE15

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


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


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