Write a Blog >>
GPCE 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

Contributions

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

SPLASH 2016-profile
View general profile