Current Students
Joshua Berndt
(Stellenbosch, MSc, 2017-, co-supervised with Arina Britz)
Topic: ConceptCloud
Marvin Esterhuizen
(Stellenbosch, MSc, 2016-)
Topic: Grammar-based Test Case Generation
Jean Breytenbach
(Stellenbosch, MSc, 2016-)
Topic: Formula Caching for Bounded Model Checking
Graduated Students
Gillian Greene
(Stellenbosch, PhD, 2014-2016)
Thesis: Concept-Based Exploration of Rich Semi-Structured Data Collections
Examiners: Marianne Huchard and David Lo
Geoffrey Birch
(Southampton, PhD, 2012-2016, co-supervised with Mike Poppleton)
Thesis: Fast, Fully-Automated, Model-Based Fault Localisation and Repair
Examiner: Mark Harman
Tristan Aubrey-Jones
(Southampton, PhD, 2010-2015)
Thesis: Synthesizing imperative distributed-memory implementations from functional data-parallel programs
Examiner: Sven-Bodo Scholz
Jeremy Morse
(Southampton, PhD, 2010-2015, co-supervised with Denis Nicole)
Thesis: Expressive and efficient bounded model checking of concurrent software
Examiner: Michael Tautschnig
Seyed Ghotbi
(Southampton, PhD, 2008-2014)
Thesis: A declarative and fine-grained policy language
for the web application domain
Examiner: Kevin Lano
Neville Grech
(Southampton, PhD, 2009-2013, co-supervised with Julian Rathke)
Thesis: Preemptive type checking in dynamically typed programs
Examiner: Gavin Bierman
Lucas Cordeiro
(Southampton, PhD, 2008-2011)
Thesis: SMT-based bounded model checking of multi-threaded software in embedded systems
Examiner: Rupak Majumdar
Nurlida Basir
(Southampton, PhD, 2007-2010)
Thesis: Safety cases for the formal verification of automatically generated code
Examiner: Tim Kelly
