Bernd Fischer is professor in the Division of Computer Science at Stellenbosch University, and the current Head of Division. His research area is automated software engineering, in particular logic-based (in the broadest sense) techniques. He has worked on specification-based component reuse and program synthesis; his work now focusses on program verification, including annotation inference, software model checking, and human-oriented presentation of verification results. He previously worked at TU Braunschweig, NASA Ames Research Center, and University of Southampton. [Full CV]
Newsticker...
PhD defenses
On December 13, my PhD student Gillian Greene successfully
defended her thesis "Concept-Based Exploration of
Rich Semi-Structured Data Collections" in Stellenbosch.
At the same time in Southampton, my PhD student Geoff
Birch passed with minor corrections the viva on his thesis "Fast,
Fully-Automated, Model-Based Fault Localisation
and Repair with Test Suites as Specification".
Congratulations Drs. Greene and Birch, a job well done!
GPCE 2016
I'm serving as General Chair for the 15th International Conference on Generative Programming: Concepts & Experience (GPCE'16), together with
Ina Schaefer as
Program Committee Chair. The call for papers is available here,
abstracts are due on June 17, full papers on June 24.
Gold and Silver medals for CSeq
CSeq
and ESBMC participated in
the 5th
Intl. Competition on Software Verification
(SV-COMP16), which is associated with TACAS 2016
in Eindhoven, Netherlands.
CSeq won the Gold and Silver medals in the
Concurrency category, while ESBMC won the Gold medal in the
Arrays and the Silver medal in the BitVectors category.
A paper describing the CSeq approach is on the publications page.