About

Hi, I’m Emma (she/her), a PhD student at the University of Strathclyde in the MSP research group in Glasgow, under the supervision of Bob Atkey and Guillaume Allais. I’m currently working on correct-by-construction optimisations and representations of data types.

I did an MEng at Imperial College London in Joint Maths & Computer Science, then worked in London as a software engineer for 5 years. In my day-to-day, I use Agda for proofs and Haskell for general coding.