Home

About me

I am a research fellow at the University of Nottingham with a PhD in Computer Science.

I work in the functional programming lab under the supervision of Graham Hutton.

Research interests

I am interested in formal verification and practical applications of type theory to general purpose programming. The aim of my research is to develop frameworks and tools for expressing, reasoning about and statically verifying properties of programs. At present my research focuses on Quotient Haskell, which implements a class of quotient types for Haskell by extending Liquid Haskell.

Publications

Quotient Polymorphism (2025)

Quotient Haskell: lightweight quotient types for all (2024)

Subtyping without reduction (2022)

HoTT Operads (2024)