skip to content

Department of Computer Science and Technology

  • PhD Student
  • Postdoctoral researcher


I am a postdoctoral researcher with Dr Jeremy Yallop on the Modular Macros project, investigating the extension of OCaml with macros and metaprogramming features.

I am also finishing a PhD in the Programming, Logic and Semantics group supervised by Prof. Marcelo Fiore and Dr Neel Krishnaswami. My research focuses on the mathematical theory and computer formalisation of second-order abstract syntax.


I am a College Associate Professor and Fellow in Computer Science at Downing College, as well as a Director of Studies for IB students.


This year (2022–2023) I am supervising the following courses:

Part II project students

  • Patrick Nickols (2022-23)
  • Ted While (2020-2021)
    Formalisation of the Dual Calculus in Agda
  • James Rhodes (2019-2020)
    Metaprogramming for Automated Frontend Generation

Professional Activities



  • Marcelo Fiore, Dmitrij Szamozvancev (2022).
    Formal Metatheory of Second-Order Abstract Syntax.
    In: Proceedings of the ACM on Programming Languages 6.POPL (2022): 1-29. (doi, pdf)
  • Christial Uldal Graulund, Dmitrij Szamozvancev, and Neel Krishnaswami (2021).
    Adjoint Reactive GUI Programming.
    In: Foundations of Software Science and Computation Structures. FOSSACS 2021. Lecture Notes in Computer Science, vol 12650. Springer, Cham. (doiarXiv)
  • Dmitrij Szamozvancev and Michael B. Gale (2017).
    Well-typed music does not sound wrong (experience report).
    In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell. ACM, pp. 99–104. (doi, pdf)


  • Embedded Domain-Specific Languages.
    Guest lecture for the CS141 – Functional Programming course at the University of Warwick, March 2019. (pdf)
  • Semantics of temporal type systems.
    Master's research project presentation at the University of Cambridge, June 2018. (pdf)
  • Well-typed music does not sound wrong.
    Talk accompanying the paper presented at the Haskell Symposium 2017, held at the University of Oxford, September 2017. (pdf)

Reports and dissertations

  • Semantics of temporal type systems.
    Master's dissertation supervised by Dr Neel Krishnaswami. University of Cambridge, 2018. (pdf)
  • Well-typed music does not sound wrong.
    Undergraduate dissertation supervised by Michael B. Gale. University of Cambridge, 2017. (pdf)

Contact Details

Office phone: 
(01223) 7-63679