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/

SPLASH 2016 Activities

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