skip to content

Department of Computer Science and Technology

  • PhD Student

I am a third year PhD Student in the Programming, Logic and Semantics group, supervised by Dr Neel Krishnaswami. I'm interested in Automatic Differetiation, its semantics, correctness and efficient implementation in functinal programming languages. My research is funded by the Microsoft Research PhD Scholarship Programme.

Teaching

I currently supervise the Part 1B Semantics and Concepts in Programming Languages courses.

Contact Details

Room: 
FS06
Office phone: 
(01223) 7-63590
Email: 

fmk31@cam.ac.uk