- PhD Student
- Postdoctoral researcher
Research
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.
Teaching
I am a College Associate Professor and Fellow in Computer Science at Downing College, as well as a Director of Studies for IB students.
Supervisions
This year (2022–2023) I am supervising the following courses:
- Foundations of Computer Science
- Discrete Mathematics
- Semantics of Programming Languages
- Logic and Proof
- Computation Theory
- Concepts in Programming Languages
- Complexity Theory
- Types
- Denotational Semantics
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
Publications
Publications
- 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. (doi, arXiv) - 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)
Talks
- 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)