I do software research. My students and I create tools and techniques that help developers build better software—by automatically testing, analyzing, and debugging its code and its development process.
Our approaches have proven quite influential in academia and industry. My Curriculum Vitae lists the most important achievements.
Our research projects involve generating software tests, automated debugging and repair, analyzing mobile systems, analyzing user interfaces, and more. Essentially, our research focuses on the following questions:
Our solutions typically apply and combine several techniques including dynamic analysis, static analysis, specification mining, test generation, natural language processing, machine learning, constraint solving, and formal languages:
I am hiring PhDs and PostDocs who would like to work on these topics. Apply now!
Every semester, we also offer seminars and proseminars around automated testing and debugging.
Check out all our courses here.
At CISPA and Saarland University, I work with great students and Post-Docs from across the world on cutting-edge research:
We are constantly looking out for great students and Postdocs. Our positions are well-paid and allow for highly productive research. If you are interested in a Ph.D. or Postdoc position, please apply at CISPA and state your specific interests.
Here is a list of former group members.
If you are a student of Saarland University and have fun with automated program analysis, testing, and debugging, you might want to do a thesis with us. Here are the details on how to do a thesis with us.
My blog has a mixture of various topics from academia and software development, often with a humorous touch. Here is a selection of popular posts:
I am a frequent speaker at events. Here are two recorded talks I am particularly proud of.
In my 2020 CASA Distinguished Lecture “Learning the Language of Failure”, I show some highlights of our current work:
Enjoy the show! Annotated slides are available, too.
These days, I also spend quite some time giving career advice. In my ICSE 2018 SIGSOFT Award keynote, I unfold three lessons on impact in software engineering research:
Again, detailed slides and full manuscript are available.
Follow me on Mastodon to stay updated about current work and relevant events. You may also find me on other platforms (see links on the left), but Mastodon is where I post.
I do not collect any data from this site, but GitHub may do. See the GitHub Privacy Statement for details.