Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Bernd Fischer

Registered user since Sun 12 Jul 2015

Name: Bernd Fischer

Bio: Bernd Fischer is professor in the Division of Computer Science at Stellenbosch University. 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, in particular software model checking. He previously worked at TU Braunschweig, NASA Ames Research Center, and University of Southampton.

Country: South Africa

Affiliation: Stellenbosch University

Personal website: http://www.cs.sun.ac.za/~bfischer/


SLE 2016Committee Member in Program Committee
GPCE 2016General Chair in Program Committee
General Chair in Organizing Committee
Session Chair of Testing and Verification (part of GPCE)
SPLASH 2016GPCE General Chair of GPCE/SLE Steering Committee Meeting within the ORG-track
GPCE General Chair in Organizing Committee
Show activities from other conferences

SPLASH 2016-profile
View general profile