I am a former student at the University of Waikato Computer Science Department, where I worked under the supervision (variously) of David Streader, Mark Utting and Steve Reeves. I currently live in London. I'm particularly interested in a number of things that fall into the very broad category "formal methods", and in a number of things that do not. More specifically:
I seem to have inadvertently ended up with a ridiculous number of social networking site accounts. You might like to "add me" in one or more of these environments (NOTE: I actually got rid of a bunch of these):
Alternatively, you can email me: My username is gdp3. If you were to follow it with an '@' symbol, and then cs.waikato.ac.nz, you would get my email address in a form that spambots can read.