Bernhard Steffen (computer scientist)
Bernhard Steffen (born May 31, 1958 in Kiel ) is a German computer scientist and professor .
Life
Steffen received his PhD in Mathematics in 1983 and was awarded a Ph.D. in computer science . He teaches at the Technical University of Dortmund .
His research focuses on the various facets of formal methods, from program analysis and review, to synthesis workflow, and test-based modeling. He has published over 200 publications on these topics.
Individual evidence
- ^ Biography Bernhard Steffen. (PDF) TU Dortmund University, accessed on February 1, 2014 (English).
Web links
personal data | |
---|---|
SURNAME | Steffen, Bernhard |
BRIEF DESCRIPTION | German computer scientist and professor |
DATE OF BIRTH | May 31, 1958 |
PLACE OF BIRTH | Kiel |