Prof. Dr. Stefan Leue
I am currently holding the Chair
for Software Engineering within the Department
of Computer and Information Science at the
University of Konstanz. I will not teach courses at Freiburg during
the Summer Term 2004 or the Winter Term 2004/5.
We are currently working on a web presence of my new research group at Konstanz,
but for the time being this page still offers the best access to resouces regarding
my current research interests and to the history of my teaching resources. Information
regarding current teaching activities is available through the web site of the
Chair for Software Engineering
at the University of Konstanz.
I will continue to examine students at Freiburg for courses taken during my
tenure at Freiburg. Currently, there are two examination dates scheduled during
the Summer Term: Monday, May 26 and Monday, July 5. In case you need to be examined
on one of these dates, please contact my secretary at Freiburg, Ms. Kerstin
Pfeiffer, pfeiffer at informatik.uni-freiburg.de to arrange for an examination
date and time.
Involvement in Conferences/Workshops
- SPIN 2004,
the 11th International Workshop on Model Checking of Software, Barcelona,
- SCESM04, 3rd International
Workshop on Scenarios and State Machines: Models, Algorithms, and Tools,
Edinburgh, May 2004
- Wissenschaftliche Mitarbeiter / PhD-Student / Post-Doc: Due
to my move to Konstanz I will no longer hire post-docs or PhD students here
at Freiburg. I expect further open positions to come up at Konstanz - these
will be advertised shortly on this page and on the new
home page at Konstanz.
Membership Research Networks
Research on ...
Access to abstracts of papers and Postscript or PDF files.
Past Research Projects (at the University of Waterloo):
Postdoctoral Fellows and PhD Students:
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), now with RIM, Waterloo.
- Moataz Kamel (MASc, On the Visual Modeling and Verification
of Concurrent Systems, September 1999), now with Soma Networks, Toronto.
- Hanêne Ben-Abdallah
(Post Doc, 07/96 - 07/97), now with Faculté des Sciences Economiques
et Gestion, Université de Sfax, Tunisia.
- Mohammad Rezai
(Post Doc, 11/97 - 10/98), now with Prior Data Sciences Ltd.,
Last modified: May 20, 2004.
Stefan Leue <email@example.com>
Copyright © 2004 Stefan Leue