William Heaven

Research Associate
Software Systems Engineering
Department of Computer Science
University College London
Gower Street

mail: w dot heaven at cs.ucl.ac.uk

Some Publications    |    Teaching    |    Background   

william heaven

Research Associate for Emmanuel Letier working on (1) stochastic simulation techniques for reasoning about partial goal satisfaction and (2) controller synthesis techniques for requirements specification.

Previously, Research Associate (from October 2006 to October 2009) for Jeff Magee and Jeff Kramer on a project entitled "Scenario-Based Software Synthesis for Adaptable Software Architectures", sponsored by the Systems Engineering for Autonomous Systems DTC.

Completed a PhD in 2007 with Alessandra Russo and Michael Huth entitled "Object-Oriented Specification: Analysable Patterns and Change Management".

Formerly, a Research Associate for Anthony Finkelstein in UCL's Software Systems Engineering group.

Other Professional Activities
-- Program Committee for ViDaS 2010, 1st international Workshop on Validation and Verification of Dynamic Software Systems. This workshop was held on April 6 2010, during the ICST 2010 week (April 6-9), in Paris, France.
-- Program Committee for REET at RE 2009, RE 2010
-- RESG co-ordinator of REET at RE 2008.
-- Program Committee for IWRA 2008.
-- Executive committee for the BCS Requirements Engineering Specialist Group (RESG).

John Berryman's "Dream Song #1"
McSweeney's Internet Tendency