Home » People » Bernd Fischer

Bernd Fischer

Bernd Fischer
bfischer@cs.sun.ac.za's picture
Location: Stellenbosch University

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.

CAIR Node: