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.