- PhD Student
I am a first year PhD Student in the Programming Languages, Semantics and Verification group and a member of Queens' College. I'm interested in programming languages, formal semantics, type systems, and verification. My supervisor is Professor Jeremy Yallop. My research is funded by the OCaml Software Foundation and TriliTech.
Teaching
I supervise various courses. I will post my exercise sheets here as well. Any suggestions are welcome and feel free to use them as you wish. Email me for solutions to individual questions.
- Discrete Mathematics
- Computation Theory
Professional Activities
I'm a part-time senior software engineer at TriliTech, my work focuses on compilers and runtimes for serverless functions / smart contracts for the Tezos blockchain.
