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.
I am member of the group (Chair of Software Engineering II) of Prof. Dr. Gordon Fraser at the University of Passau—focus on software testing.
From 2015 to 2018, I have been member of the group (Chair of Software Engineering I) of Prof. Dr. Sven Apel (doctoral advisor)—focus on the analysis of configurable systems. From 2012 to 2014, I have been member of the group of Prof. Dr. Dirk Beyer—focus on software model checking. Before that, I worked in industry as a software engineer.
Follow me on Twitter (@stahlbauer) or send me an e-mail to andreas @ thisdomain.
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.
"Only if we act quickly and consistently can we limit global warming, halt the mass extinction of animal and plant species, preserve the natural basis for life and create a future worth living for present and future generations." [Full statement]
Science L[a]unch is one of my side projects that aims to support young researchers by providing a time efficient and effective way of (1) establishing successful research collaborations, (2) finding potential mentors, or (3) just to meet new people. The idea is to have lunch with researchers from the university, or research institute, that you might have only encountered while walking across the campus. In the long run, this lunches can lead to the launch of new research projects.
Some pictures I have taken during the last years.