Stefania Damato

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 wrapping up my PhD research.

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.