News
- I will be giving an invited talk at HoTT/UF 2026 in Aarhus, Denmark.
- The final version of my PhD thesis is now available here.
Stefania Damato
About Writings Talks Contact
I am a postdoc in the Budapest type theory group
at the Eötvös Loránd University in Hungary, working on
Higher Observational Type Theory
under the supervision of Ambrus Kaposi.
Previously, I did my PhD in the Functional Programming Lab at the University of Nottingham in the UK, under the supervision of Prof. Thorsten Altenkirch.
Broadly, my research interests lie in logic, homotopy type theory, functional programming, and constructive mathematics.
Previously, I did my PhD in the Functional Programming Lab at the University of Nottingham in the UK, under the supervision of Prof. Thorsten Altenkirch.
Broadly, my research interests lie in logic, homotopy type theory, functional programming, and constructive mathematics.
