Ex PhD Students

Michael Laurence (Completed 2004)
Equivalence of Liberal Free Linear Program Schemas is Decidable in Polynmial Time
Prinicipal Supervisor: Sebastian Danicic Other supervisors: Mark Harman ,Rob Hierons, John Howroyd

Lahcen Ouarbya (Completed 2005)
A new semantics for program slicing
Prinicipal Supervisor: Sebastian Danicic Other supervisors: Chris Fox , Mark Harman , John Howroyd



s.danicic@gold.ac.uk
Seb's Home Page
Last updated 2007-04-30