Stefania Damato

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.