Falk Howar

I am a professor at the chair for software engineering at Dortmund University
of Technology.

I am interested in the development of correct and safe software systems
with a particular focus on automated analysis, testing, and verification of such systems.
My work is mainly based on automated generation of behavioral models of components, systems, and their environments using dynamic and static analysis techniques, e.g., automata learning, machine learning techniques, symbolic execution, or static code analysis.

I like to work on problems that have a strong motivation in practical challenges.
Over the past few years, I applied my research to automotive and aeronautical control software, automated air-traffic management software, and in industrial software development tools: