Stefania Damato

About Writings Talks Contact

I am a second year PhD student in the Functional Programming Lab at the University of Nottingham, under the supervision of Prof. Thorsten Altenkirch.

I am currently working on providing semantics and syntax for quotient inductive-inductive types (QIITs) through the use of containers.

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.