Teaching and student supervision

In addition to supervising various undergraduate courses at Cambridge, I also supervise student projects.  I am interested in any prospective students at Undergraduate, Part III or Masters level relating to dependent types, theorem proving, functional programming, formal mathematics or software verification.  If you are interested in pursuing a project in any of these areas then please get in touch.

Current students

  • Bradley Hardy, Part II Cambridge Computer Science Tripos project supervision with Andy Pitts.  Project title: Better equational reasoning for Agda.
  • Michael Rawson, Part II Cambridge Computer Science Tripos project supervision with Vincent Gomes.  Project title: Verified metatheory and type checking for the simply-typed lambda calculus.
  • James Woods, Part II Cambridge Computer Science Tripos project supervision with Matthew Daggitt.  Project title: Formalising a semiring framework for shortest-distance problems.

Past students

  • Lauren Pick, Part II Cambridge Computer Science Tripos project supervision with Ali Sezgin and Alan Mycroft.  Project title: Implementing the IC3 model checking algorithm.
  • Swaraj Dash, Part II Cambridge Computer Science Tripos project supervision with Jeremy Yallop.  Project title: Invertible syntax descriptions in Agda.
  • Nikolaos Athanasiou, Cambridge Undergraduate Research Opportunity student, summer 2015.  Project title: Implementing the Constructive Reals in Agda.
  • Swaraj Dash, Cambridge Undergraduate Research Opportunity student, summer 2015.  Project title: Implementing the Constructive Reals in Agda.
  • Leonhard Markert, Part III Cambridge Computer Science Tripos project supervision with Timothy Griffin.  Project title: Big operators in Agda.

Add a Comment

Your email address will not be published. Required fields are marked *