I am a doctoral researcher studying for a PhD in the School of Computer Science at the University of Birmingham.

My supervisor is Dr Hayo Thielecke.

I'm researching in the areas of secure low level programming, type systems and language design.