S. C. Steenkamp
University of Cambridge Computer Laboratory
Programming, Logic, and Semantics Group
Office: FE15
Email: s.c.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:
- Discrete Mathematics
- Semantics of Programming Languages
- Computation Theory
- Complexity Theory
- Types
The types course was rewritten for 2018-2019. Some of the other PhD students and myself put together a new set of exercise sheets: - Denotational Semantics