Bernd Fischer Computer Science Division
Stellenbosch University
Private Bag X1
7602 Matieland, South Africa

bfischer -at-
+27 21 808 4232

I've been fortunate to work with very good students. Contact me if you are looking for an interesting and challenging honours or research project.

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



(on sabbatical)



Google Scholar