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.

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.