Benjamin Price

I am a PhD student in the Mathematically Structured Programming Group at the University of Strathclyde. My supervisor is Neil Ghani.

Research

I am interested in Type Theory, Dependently Typed Programming and Category Theory. Currently I am working on Proof-Relevent Parametricity.

Education