Dima Szamozvancev

Dima Szamozvancev is a postdoctoral researcher at the University of Cambridge's Department of Computer Science and Technology, working under Dr. Jeremy Yallop on the Modular Macros project. He holds an Associate Professor position at Downing College, where he serves as a Director of Studies for Part IB Computer Science students and supervises multiple undergraduate and graduate courses. His academic background includes a PhD (2018–2022) and MPhil (2018) in Computer Science, both from the University of Cambridge, under Prof. Marcelo Fiore and Dr. Neel Krishnaswami.

Research Focus: Szamozvancev specializes in the mathematical foundations of programming languages, particularly second-order abstract syntax and its formalization. His work intersects semantics, type theory, and metaprogramming, with applications to reactive systems and domain-specific languages. He actively contributes to OCaml's evolution through the Modular Macros project, exploring macros and metaprogramming extensions.

Teaching & Supervision: He supervises courses such as Semantics of Programming Languages, Logic and Proof, and Types. Notable advisees include Patrick Nickols (2022–2023), Ted While (2020–2021), and James Rhodes (2019–2020). His teaching spans foundational theory to applied programming concepts.

Professional Activities: He serves on the program committees for FARM 2019 and FARM 2022. His publications address formal metatheory, reactive GUI programming, and type-safe music generation. He is affiliated with the Programming, Logic, and Semantics research group.

Contact: Room FS13, William Gates Building, University of Cambridge. Email: ds709@cam.ac.uk.