William Heaven

Research Associate
Distributed Software Engineering
Department of Computing
Imperial College London
180 Queen's Gate

mail: william dot heaven@imperial.ac.uk

tel: +44 (0)20 7594 8449
fax: +44 (0)20 7581 8024

Some Publications    |    Teaching    |    Background   

william heaven

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