Bernhard Steffen
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 66 |
| Date of birth | May 31,1958 |
| Zodiac sign | Gemini |
| Books | Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches |
| Born | Kiel |
| Germany | |
| Affiliations | Technische Universität Dortmund |
| Education | University of Kiel |
| Interests | Programmiersysteme |
| Verifikation | |
| Validierung | |
| Model Checking | |
| Automata Learning | |
| Edited works | Leveraging Applications of Forma... |
| Date of Reg. | |
| Date of Upd. | |
| ID | 850453 |
Bernhard Steffen Life story
Bernhard Steffen 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, to test-based modeling, and machine learning.
Bernhard Steffen Photos
