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, over low code development environments, to test-based modeling, and machine learning.[1]1] Central developments concern the shift of active automata learning to towards a practical means for model-based testing that does not require any a priori models, and the concept of Language-Driven Engineering where combinations of domain-specific languages guarantee properties by design. Recently, he started to apply formal methods for explaining machine learning.