Chair for Software Engineering
Prof. Dr. Stefan Leue
Our research interests are in methods for the design of complex software systems, withspecial emphasis on formal techniques for the design of concurrent, embedded systems.
For more information please visit our research pages.
News
-
The uni´kon reports in the lead article of its 36th edition on our work on the verification of an airbag system.
-
The University of Konstanz has an immediately available opening for a PhD Studentship in the area of Software Analysis, Data Mining and Visualization.
-
We have various openings for Hiwis (student research assistants).
Upcoming Events
- Currently there are no upcoming Events.
Student Projects
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 Project Page.