- 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 Differentiation, its semantics, correctness and efficient implementation in functional programming languages. My research is funded by the Microsoft Research PhD Scholarship Programme.
Themes
Teaching
I currently supervise the Part 1B Semantics and Concepts in Programming Languages courses.
