Our department has both full-time (usually on campus) and part-time (off-campus) PhD students, all of them with a supervisory team of at least two academics. Each PhD student also has a third-party monitor, an academic with whom they can speak in confidence about their progress, problems, and supervisors.
Before the end of their first year (for full-timers) or second year (for part-timers), PhD students have to submit a probation report, with a literature review and research plan. Their report is discussed in a probation viva with two academics from the department. Students have to pass the viva, in order to have their PhD registration confirmed.
All our MSc students are part-time and, when doing their dissertation project, they have a supervisor and a specialist advisor, who provides further technical advice on the project. The supervisor marks all intermediate assignments, while the specialist advisor only marks some of them. The final dissertation is marked by both.
Supervisor
- Ángela Lozano (PhD student co-supervised by Bashar Nuseibeh), Degradation archaeology: studying the evolution of code clones, completed August 2009
- Rory Mooney (part-time MSc student), Facilitating the creation of music, since February 2009
- Simon Butler (part-time PhD student co-supervised by Yijun Yu and Helen Sharp), Programming Conventions, since October 2008
- Ireo Ostacchini (part-time MSc student), Software Evolution, completed April 2009
- Nicholas Hindle (part-time MSc student), Composing music by constraint satisfaction, completed April 2008
- Steen Jensen (part-time MSc student), XML technologies for program comprehension, completed April 2008
- Dariusz Kaminski (part-time PhD student co-supervised by Jon Hall), Problem and Design Co-Evolution for Model-Driven Software Development, since October 2006
Specialist advisor
- Anthony Meehan, The Development of an Undo Mechanism for Content Management System Configuration Tools, since February 2009
- Keith Leslie Scarterfield, Unifying agile development methods with safety critical projects: Can adaptive/lightweight techniques produce solid software?, since February 2009
- Stephen Tinson, Application of Software Development Methodologies for Pharmaceutical Industry Applications, since February 2009
- Christopher Mannall, Declarative Meta-Programming, started February 2008
- David Keith Smith, The Symbolic Representation of Web Site Designs, started February 2008
- William Robert Clayton, Software Evolution, started February 2008
- Peter Eastwell, Web browser depiction of UML diagrams from Java source code, completed April 2008
- Kevin Edwards, A Prolog implementation of the FAMIX meta model, completed April 2008
- Richard Gorman, An Empirical Comparison of Subjective Evaluation and Metrics in the Maintenance of Structured Systems, completed April 2007
- Andrew Hurley, Applying code conventions: the role of automation, completed April 2007
- Soumya Rao, Detecting Visual Basic Programming Convention Violations, completed April 2007
Examiner
- External examiner of Eduardo Figueiredo, Concern-Oriented Heuristic Assessment of Design Stability, PhD, October 2009
- Internal examiner of Patrick Hill, Aspect-Oriented Music Representation, PhD, December 2007
- Internal examiner of Tawanda Gurukumba, Tactics from Proofs, MPhil, July 2007
- Co-examiner of the probation vivas of 3 PhD candidates, and mock viva examiner of 1 PhD candidate
Other support
- Third-party monitor of 2 PhD students since March 2005, one since October 2008, and another since July 2009