Welcome to the website of Richard Hayden. In 2007, I finished my MSci Mathematics and Computer Science degree at Imperial College London. I began a PhD in October 2007 in the AESOP research group in the Department of Computing at IC.
This website contains both my personal musings and academic stuff. See the links below. The usual disclaimer about me not speaking for or on behalf of Imperial College (or anyone except myself for that matter!) applies...