Chair for Software and Systems Engineering
Our research interests are in methods for the design of complex software and systems, with
special emphasis on formal techniques for the design of concurrent, embedded systems,
functional safety, and in the use of computational methods in systems biology and clinical
For more information on our research please visit our research pages.
If you are interested in technology transfer please visit the website of our
Steinbeis Transfer Center 'Complex Systems Engineering at the Universtiy of Konstanz'.
- Dr. Florian Leitner-Fischer, PhD graduate from the Chair for Software and Systems Engineering, is awarded the Airbus Group Research Prize Claude Dornier 2014/15 for his PhD thesis on "Causality Checking of Safety-Critical Software and Systems" - Press Release of the University of Konstanz (in German).
- Prof. Stefan Leue will chair the industrial conference Software Safety for Airborne Systems in Berlin, Germany, 14-16 September 2016.
- Prof. Stefan Leue, Dr. Florian Leitner-Fischer (ZF TRW Automotive GmbH) and Sirui Liu will speak on "Automated Freedom from Interference Analysis for Automotive Software" at the 12th European Dependable Computing Conference in Gothenburg, Sweden, 5-9 September 2016.
Student Projects & HiWi-Jobs
We are constantly looking for students interested in bachelor or master projects in our group as well as positions as research assistants (HiWis). You can find a list of some possible topics for such projects on our Student Information Page.