Prof. Dr. Stefan Leue has been Professor, Chair for Software Engineering, Department of Computer and Information Science at the University of Konstanz for over 15 years, since 2004.

His research interests include:

• use of formal methods in the design and analysis of complex systems, with a special focus on embedded software systems and system architectures:
• algorithmics and application of model checking
• heuristic search in system verification (directed model checking)
• abstraction and incomplete verification techniques
• visual specification formalisms for concurrent systems (Message Sequence Charts)
• semantics and verification of object-oriented modeling techniques, including UML, UML-RT and SysML
• protocol engineering and design
• functional safety
• avionics and automotive software and safety enigeering (DO-178C, AutoSAR, ISO 26262)
• verification of real-time and probabilistic system properties (DiPro)
• formal methods in functional safety analysis (QuantUM)
• causality analysis and fault localization (Causality Checking)
• case studies in the design and verification of concurrent software systems (GIOP, telecommunication systems, Airbag control units)

His previous academic appointments include:

• July - December 2000 Associate Professor (tenured), Department of Electrical and Computer Engineering of the University of Waterloo. On leave of absence.
• December 1999 - April 2004 Associate Professor (tenured) of Computer Networks and Telematics at the Institute for Informatics (Computer Science) of the Albert
• Ludwigs-University in Freiburg, Germany.
• March 1995 - June 2000 Assistant Professor (tenure track) at the Department of Electrical and Computer Engineering, University of Waterloo. Cross-appointment at Department of Computer Science, University of Waterloo, July 1998. Leave of absence starting January 1, 2000.
• November 1991- March 1995 Research Assistant and Doctoral Candidate at the Institute for Computer Science of the University of Bern, Switzerland.

Top-level research, excellence in teaching and studies, internationality and interdisciplinary collaboration have stood for the University of Konstanz since its foundation as a Reform University in 1966. This clear orientation soon led to a unique profile that is defined not only through high quality but also through innovation, creativity and a distinct zest for research. The strategy of modernisation and reform from within is being consistently advanced. The consistent expansion of its strengths, innovative concepts and ideas within with the university’s Institutional Strategy "Modell Konstanz – Towards a Culture of Creativity"​ has contributed significantly to the success of the University of Konstanz since October 2007 in both phases of the Excellence Initiative of the German Federal and State Governments to promote top-level research at German universities. Konstanz is therefore one of the universities whose Institutional Strategies are being funded by the federal and state governments to expand university top-level research.