Bernd Fischer is professor in the Division of Computer Science at Stellenbosch University, and the Division's post-graduate co-ordinator. 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 will defend her thesis "Concept-Based Exploration of Rich Semi-Structured Data Collections". The public presntation will take place from 10:00 at the Division of Computer Science, room A521. At the same time in Southampton, my PhD student Geoff Birch will be examined about his thesis "Fast, Fully-Automated, Model-Based Fault Localisation and Repair with Test Suites as Specification". Good luck to both of them (not that they need it)!
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-COMP15), 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.