Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.
Born |
31 May 1958 (age 67) Kiel, West Germany
|
Zodiac | Gemini |
Tags | Add tag |