# 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

- Currently: PhD student, MSP group, Computer and Information Sciences, University of Strathclyde.
- 2015: BA & MMath in Mathematics, Queens' College, University of Cambridge.