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]
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 papers describing the CSeq approach is on the publications page.
ESBMC now open-source software
With the release of version 2.0 our ESBMC model checker is now open-source software. Sources are availble from our github-repository. Announcements and discussions are via the ESBMC mailing list.