skip to content

Department of Computer Science and Technology

  • Research Assistant
  • PhD Student

Teaching

Throughout my PhD studies, I have supervised the following courses:

  • Hoare Logic and Model Checking
  • Optimising Compilers
  • Semantics of Programming Languages
  • Types

Contact Details

Room: 
GE10
Office phone: 
(01223) 3-34643
Email: 

ds815@cam.ac.uk