My research focuses on models, algorithms, and tools for the development and maintenance of reliable (safety critical) software systems. In particular, I am interested in Formal Software Verification (Software Model Checking), Software Testing (Test Generation), Software Evolution (Regression Checking, Incremental Verification, Reuse of Verification Results), and Software Variability (Software Product Lines). One important objective of my work is to close the gap between theory and applicability in industry.
Follow me on Twitter (@stahlbauer).
In case you are a student looking for a bachelor or master thesis: Feel free to contact me if you are interested in one of my research projects or a topic in context of formal methods. Students from the University of Passau should make sure that their study plan covers sufficient modules with focus on Programming and Software Systems.
To align with the examination regulations, a student must show that he or she is capable of scientific work and can apply scientific methods independently, on a limited topic. Despite the strong focus on independent work, we typically meet regulary to discuss the status of the thesis, open problems, questions, and next steps in this project.
Independent of the type of work, students should apply methods and principles for scientific work and academic writing—they are the foundation for conducting research. Please make sure to (1) make your results reproducibile, (2) discuss threats to validity, and (3) provide a study of related work that is sufficient to classify your contributions. We recommend to follow established practices for software engineering research.
Please consider to read (or watch) the guide on writing a master thesis (and choosing a good supervisor) by Elmar Juergens.
Some pictures I have taken during the last years.