Bernd Fischer is professor in the Division of Computer Science at Stellenbosch University. His research area is automated software engineering, in particular formal and logic-based (in the broadest sense) techniques in program analysis, generation, testing, transformation, and verification. His current work focuses on software model checking, software fault localization, and software language engineering. He has published more than 100 research papers, graduated 11 PhD and 6 MSc/MA research students, and received an NRF B1 rating. He has previously worked at TU Braunschweig, NASA Ames Research Center, and University of Southampton.