Teaching Assistant, Computing, Imperial College London, 2008 - 2009
Lecturer for course 302: Software Engineering Methods (my slides and links).
Research Associate, Computing, Imperial College London, 2006 -
DTC-funded "Scenario-Based Software Synthesis for Adaptable Software Architectures" project.
PhD, Computer Science, Imperial College London, 2003 - 2007
"Object-Oriented Specification: Analysable Patterns & Change Management"
Research Associate, Computer Science, University College London, 2002 - 2003
EU-funded "Ubiquitous Web Applications" (UWA) project.
MSc, Computing, Imperial College London, 2001 - 2002
"Definition and Implementation of a Translation Between Z and Java Modelling Language (JML) Specifications"
MA, Philosophy, Univeristy College London, 1999 - 2000
"Birdsong and Bumps on the Head: Davidson (and Rorty) on Metaphor".
An investigation of metaphor as a limit to a formal semantics of natural language.
BA, Philosophy + English Literature, University of Bristol, 1996 - 1999
|
