### News

- I am part of the Artifact Evaluation Committee for POPL 2025.
- The preprint Formalising Inductive and Coinductive Containers is now available on arxiv.

I am a fourth 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.

- I am part of the Artifact Evaluation Committee for POPL 2025.
- The preprint Formalising Inductive and Coinductive Containers is now available on arxiv.