News
- I will be giving a talk at WG6, taking place in Genoa on 17-18 April 2025.
- My preprint Distributive Laws of Monadic Containers with Chris Purdy is now available on arXiv.
Stefania Damato
About Writings Talks Contact
I am a fourth year PhD student in the
Functional Programming Lab
at the University of Nottingham, under the supervision of
Prof. Thorsten Altenkirch.
Currently, I am in the final year of my PhD, wrapping up my research. I am on the job market and am interested in postdoctoral research positions starting from October 2025.
Previously, I obtained a BSc (Hons) Mathematics and Computer Science from the University of Malta, and an MSc Computer Science from the University of Nottingham.
Broadly, my research interests lie in logic, homotopy type theory, functional programming, and constructive mathematics.
Currently, I am in the final year of my PhD, wrapping up my research. I am on the job market and am interested in postdoctoral research positions starting from October 2025.
Previously, I obtained a BSc (Hons) Mathematics and Computer Science from the University of Malta, and an MSc Computer Science from the University of Nottingham.
Broadly, my research interests lie in logic, homotopy type theory, functional programming, and constructive mathematics.
