Biographies

Bernd Fischer is researcher at the Department of Software Technology at the Technical University of Braunschweig. His interests include formal specification, automated deduction and functional programming. He received his diploma in computer science from the TU Braunschweig in 1990.

Gregor Snelting is a professor for software technology at the Technical University of Braunschweig. His main interest is to utilize deductive and algebraic techniques in order to improve software design, configuration management, component reuse, software reengineering, and software validation. He received a diploma in computer science and mathematics (1982) and a PhD in computer science (1986) from the TU Darmstadt, and became professor and leader of the software technology group in 1991.