Chair for Software Engineering

Prof. Dr. Stefan Leue

Our research interests are in methods for the design of complex software systems, with
special emphasis on formal techniques for the design of concurrent, embedded systems.

For more information please visit our research pages.

News

We have an opening for PhD Students (Akademische Mitarbeiterin / Akademischer Mitarbeiter).
We have various openings for Hiwis (student research assistants).

Former News can be found here.

Upcoming Events

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.

Former Events can be found here

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.

	Software Engineering	Department	University
	Research	Teaching	Student Information	Members	Tools	Open Positions	Presentations	Publications