I am a (former, as of October 2013) PhD student of John Power and Guy McCusker in the Mathematical Foundations group in the Department of Computer Science at the University of Bath.

This site is not any longer kept up-to-date. For an up-to-date account of my research, publications and CV, see my personal site.