Falk Howar

I am a post-doc researcher at Carnegie Mellon University. I received my Ph.D. from TU Dortmund in Germany, where I have worked in the Programming Systems group. My work focuses on using active automata learning techniques for the ex post construction of models of software systems. This includes - but is not limited to -

• extending active automata learning techniques to deal with data aspects of systems (instead of capturing control behavior only), and
• investigating connections between active learning and (model-based) testing and verification.

Contact: falk.howar[ at ]gmail.com

News