Teaching

Teaching in Cambridge is a privilege both stimulating and enjoyable. I usually use my teaching roles to tie cutting-edge research to the broader computer science subject, and to make this material accessible and interesting for students.

Courses

I am involved with teaching the following courses:

Undergraduate

• Part IA, Discrete mathematics. Co-developed with Prof. Marcelo Fiore the course materials (slides (2013-14), workouts, exercise sheets, and their example solutions), and I supervise this course.

• Part II, Types. Supervisor.

• Part II, Denotational semantics. I developed an exercise sheet used for supervision work by myself and some of the Lab’s supervisors.

Part III/MPhil

• Advanced Topics in Denotational Semantics. Prof. Marcelo Fiore and myself will be offering this new course aimed to bring students up to date with active research in denotational semantics.

Part III/MPhil project suggestsions

Part II project suggestsions

Past students

Part II students

• 2014, Chris Kitching, Part II project “Source-Level Compile-Time Optimisations For Java”.

• 2014, reading group on recursive domain equations (following these notes)
  • Alex Chadwic
  • Adam Ścibior

  Surprisingly, while reading we found something new about ω-colimits of embedding-projection pairs, which will be presented at the 11th international workshop on domain theory and applications.

• © 2016 University of Oxford Department of Computer Science