Homepage of Dr. Gerald Luettgen

Dr. Gerald Luettgen is Senior Lecturer in Computer Science at the University of York, UK. This web site contains information regarding his professional activities, from research to teaching to administration.

Research Interests

Embedded and time-critical systems; engineering design languages (such as Statecharts and Esterel); semantics (e.g., using process algebra and finite state machines), verification and validation (especially, reachability analysis and model checking).

Events

UK Model Checking Days 2005, York, UK, 27-28/09/2005
Intl. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, I, 13/06/2006
Intl. Conf. on Concurrency Theory (CONCUR 2006), Bonn, D, 20-30/08/2006
Intl. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), Paris, F, 25-27/09/2006

Current Teaching

Requirements Engineering - RQE (Autumn 2005)
Protocol Design and Validation - PDV (Autumn 2005)
Java and Biocomputing - JAB (Spring 2006)

Brief Bio

1989-1994:	MSc in Computer Science, Aachen University of Technology, D
1994-1998:	PhD in Computer Science, University of Passau, D
1998-2000:	Staff Scientist, Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, USA
2000-2002:	Senior Lecturer in Computer Science, University of Sheffield, UK
since 2003:	Senior Lecturer in Computer Science, University of York, UK