Prof. Dr. Stefan Leue
Contact
 |
|
|||||||||||||||||
Research
Research Interests
- Use of fomal methods in the design of complex software systems, model checking, heuristic search in system verification,
abstraction techniques for finite state verification, incomplete verification techniques, visual specification techniques for
concurrent systems, semantics and verification of object-oriented modeling techniques, semantics and verification of UML, protocol engineering and design,
verification of real-time and probabilistic system properties, case studies in the design and verification of concurrent software systems.
- For more information see our research pages.
Techniques and Tools
- Promela / SPIN
- UML RT / Rational Rose RealTime
- Message Sequence Charts and other Scenario Notations
Membership in Research Networks
- DFG Transregional Collaborative Research Center Automated Verification and Analysis of Complex Systems (AVACS)
(DFG Transregio-Sonderforschungsbereich 14). I was a founding member when this SFB was installed in early 2004 and continue to be an associate member
after my move to Konstanz.
- DFG Graduate School on Explorative Analysis and Visualization of Large Information Spaces.
(DFG Graduiertenkolleg Explorative Analyse und Visualisierung großer Informationsräume)
Teaching
Please see the teaching page of our website.
Publications
Please see the publications page of our website.
Academic Degrees
| January 1995 | Dr. phil. nat., University of Bern, Switzerland. |
| October 1990 | Master's in Computer Science (Diplom-Informatiker), University of Hamburg, Germany. |
Academic Appointments and Research Positions
| Since April 2004 |
Professor, Chair for Software Engineering, Department of Computer and Information Science, University of Konstanz, Germany. |
| 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 |
Full-Time Research Assistant and Doctoral Candidate at the Institute for Computer Science of the University of Bern, Switzerland. |
Visiting Positions
| July - September 2003 | Visiting Professor, School of Computer Science, University of Waterloo, Kanada. |
| January 2000 - August 2002 |
Adjunct Professor, at the International University in Germany, Bruchsal. |
| 1999/2000 | Visiting Professor, École Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG) and Institut VERIMAG, Grenoble, France. |
| May - December 1998 |
Sabbatical leave as Member of Technical Staff in the Computing Sciences Research Center, Bell Laboratories, Murray Hill, New Jersey. |
Industrial work experience
| October 1990 - November 1991 |
Computer Science consulting in industry, consulting on individual information systems for major German life insurance companies. |
| 1982 - 1990 | Consulting for German life insurance companies, various internships at IBM Germany. |
Organization and Involvement in Conferences / Workshops
| FORTE'94 | Seventh International Conference on FORMAL DESCRIPTION TECHNIQUES for Distributed Systems and Communications Protocols, Berne, Switzerland, 4-7 October 1994 (Conference Organization Chairperson). |
| SPIN'99 | The 6th International SPIN Workshop on Practical Aspects of Model Checking, Toulouse, France, 21 and 24 September 1999 (Co-Organizer). |
| SPIN 2002 | 9th International SPIN Workshop on Model Checking of Software, April 11-13, 2002, Grenoble, France (PC Chair). |
| Dagstuhl Seminar 03371 | Scenarios: Models, Transformations and Tools, September 7-12, 2003 (Co-organizer). |
| Dagstuhl Seminar 06172 | Directed Model Checking, April 2006. |
Personal
| Date and place of birth | 1962 in Hamburg, Germany. |
| Marital status | married, 2 children |
| Nationality | German |
| Languages | German, English, French |
| Interests | Tennis, alpine skiing, hiking, mountain biking, paintings by Paul Klee (Ad Parnassum, Der Niesen, Der Goldfisch), mountains! |
Students and Alumni
PhD Students
Alumni
- Dr. Wei Wei (now with SAP Research, Darmstadt)
- Naveed Ali
- Evghenia Stegantova, MSc. (now with Siemens AG, Munich)
- Dr. Alin Stefanescu (now with SAP Research, Darmstadt)
- Dr. Richard Mayr (PostDoc, now with North Carolina State University, Raleigh)
- Alberto Lluch Lafuente
(PhD candidate, co-supervised with Prof. Thomas Ottmann)
- Piotr Tysowski (MASc, Executable Model Synthesis and Property Validation for Message Sequence Charts,
December 2000), last known affiliation with RIM, Waterloo.
- Moataz Kamel (MASc, On the Visual Modeling and Verification of Concurrent Systems, September 1999),
last known affiliation with Soma Networks, Toronto.
- Hanêne Ben-Abdallah (Post Doc, 07/96 - 07/97), last known affiliation with
Faculté des Sciences Economiques et Gestion, Université de Sfax, Tunisia.
- Mohammad Rezai (Post Doc, 11/97 - 10/98), last known affiliation with Prior Data Sciences Ltd., Toronto.
Miscellaneous
Memberships
- Steering Committee of the SPIN Workshop Series
- IEEE, Computer Society
- ACM
- Gesellschaft für Informatik / German Informatics Society (their choice of name...)
- GIBU (GI Beirat der Universitätsprofessoren)
- IFIP WG 6.1
Additional pages
- Presentations (access to transparencies).