Next: Current Up: PhD Students Previous: PhD Students
| 2007 Konstantinos Adamopoulos Mutation Testing (Mark Harman main supervisor) |
| 2006 Dave Daoudi (Goldsmiths) Light Weight Program Conditioning |
| 2005 Lahcen Ouarbya (Goldsmiths) A Lazy Semantics for Program Slicing |
| 2004 Michael Laurence(Goldsmiths) Equivalence of Liberal Free Linear Program Schemas is Decidable in Polynomial Time |
| 2004 Yoga Sivaguranrathan (London Met.) (Mark Harman main supervisor) Modelling Dynamic Memory Allocation and Deallocation using Amorphous Slicing |
| 1992 Mark Harman (UNL) Functional Models of Procedural Programs |