Stefania Damato

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

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.

My main research interests lie in logic, homotopy type theory, functional programming, and constructive mathematics.

You can find my CV here. My github profile is available here.