skip to content

Department of Computer Science and Technology

  • PhD Student

Research

I am a third year PhD student in the Programming, Logic and Semantics group of the Department of Computer Science and Technology, 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

Supervisions

This year (2020–2021) I am supervising the following courses:

Part II project students

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

Professional Activities

Publications

Publications

  • Christial Uldal Graulund, Dmitrij Szamozvancev, and Neel Krishnaswami (2021).
    Adjoint Reactive GUI Programming.
    To appear at FoSSaCS 2021. (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)

Contact Details

Room: 
FS13
Office phone: 
(01223) 7-63679
Email: 

ds709@cam.ac.uk