Bettina Buth

E-mail: buth@informatik.haw-hamburg.de
Organisation: HAW Hamburg (DE)
Position: Professor
Profile: Bettina Buth is a professor for Software Engineering at Hamburg University of Applied Sciences, Germany. Her areas of specialty include specification and verification of distributed systems especially safety critical systems, software quality assurance in general and software and system metrication. She completed her Ph.D. at Kiel University (Germany) in 1995 on Automated Code Verification Tools and finished her habilitation at Bremen University (Germany) in 2001 with the thesis "Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems". As a consultant she has worked on a variety of projects in space applications and avionics as well as train applications.

Bettina Buth is a speaker in the following presentations: