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
- Quovadis 2010:
First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, May 03, 2010, Cape Town, South Africa. - SPIN 2010:
17th International SPIN Workshop on Model Checking of Software, September 27 - 29, 2010, Enschede, The Netherlands. - IFM 2010:
8th International Conference on Integrated Formal Methods, October 11 - 14, 2010, Nancy, France.
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.