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.
I recently submitted my PhD thesis, which I did as part of 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.
I recently submitted my PhD thesis, which I did as part of 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.
