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]
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!
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.