Bernhard Steffen (computer scientist)

Bernhard Steffen ( born May 31, 1958 in Kiel ) is a German computer scientist and professor at the Technical University of Dortmund. His research focuses on the various facets of formal methods. Program analysis and verification, the synthesis workflow, and test-based modeling