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.
I am involved with teaching the following courses:
Part II, Types. Supervisor.
- 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 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.