Falk Howar
Professor For Rigorous Software Engineering at TU Dortmund University
Dortmund, North Rhine-Westphalia, Germany
Summary
👤
Senior🎓
Top SchoolFalk Howar is a professor and researcher with 13 years of experience focused on building correct and safe software through automated analysis, testing, and verification. He specializes in generating behavioral models via techniques like automata learning, symbolic execution, and static analysis, applying these methods to automotive, aeronautical, and air-traffic management systems. At TU Dortmund and Fraunhofer ISST he combines academic leadership with applied industrial projects, coordinating software engineering research and leading scenario-based testing efforts for autonomous systems. His background includes NASA- and CMU-affiliated work on V&V for flight-critical systems, reflecting a practical bent toward safety-critical domains that goes beyond pure theory.
13 years of coding experience
21 years of employment as a software developer
Dr. ret. nat., Computer Science, Dr. ret. nat., Computer Science at Universität Dortmund / University of Dortmund
German, English
Github Skills (28)
automata10
dfa10
java9
constraint8
solver8
machine-learning8
abstract-interpretation8
jar7
measurement7
benchmark7
static-analysis7
abstraction-layer7
benchmarking7
abstraction7
cgroups7
Programming languages (5)
Github contributions (5)
tudo-aqua/dse
Aug 2021 - Nov 2022
DSE: a generic dynamic symbolic execution engine
Contributions:36 commits, 3 PRs, 12 pushes in 1 year 2 months
tudo-aqua/spout
Oct 2021 - Mar 2025
SPouT: Symbolic Path Recording During Testing
Contributions:5 reviews, 4 PRs, 22 pushes in 3 years 6 months
testinganywherefasterrocketprograms
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.