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:
  • Types exercise sheet 1
  • Types exercise sheet 2
  • Types exercise sheet 3
• Denotational Semantics