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
Updated my research page and made some of the papers available as PDFs. (Pre-print versions of course...).
Form Aug 1st 2012 I will work for Carnegie Mellon University on their campus in Mountain View, CA!
First version of my new homepage online ...