Homepage of Prof. Dr. Gerald Lüttgen

Prof. Lüttgen is Full Professor of Software Engineering and Programming Languages at the University of Bamberg, Germany. This web site contains information regarding his professional activities, from research to teaching to administration.

Research Interests

Software engineering, automated software verification, model checking, programming languages, synchronous languages, parallel programming.

Events

9th Intl. Workshop on Automated Verification of Critical Systems (AVOCS 2009), Gregynog, UK, September 2009.
8th Intl. Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009), Eindhoven, The Netherlands, November 2009.
15th IEEE Intl. Conferences on Engineering of Complex Computer Systems (ICECCS 2010), Oxford, UK, March 2010.

Current Teaching (Winter semester 2009/10)

Compiler Construction - regular course (Vorlesung/Übung)
Compiler Construction Lab - laboratory (Praktikum)
Requirements Engineering - regular course (Vorlesung/Übung)
Trends in Automated Verification - reading class (Seminar)
Trends in Software Engineering - reading class (Seminar)

Brief Bio

Since 2009:	Full Professor of Software Engineering and Programming Languages, University of Bamberg, Germany
2008-2009:	Reader in Computer Science, University of York, UK
2003-2008:	Senior Lecturer in Computer Science, University of York, UK
2000-2002:	Senior Lecturer in Computer Science, University of Sheffield, UK
1998-2000:	Staff Scientist, Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, USA
1994-1998:	PhD in Computer Science, University of Passau, D
1989-1994:	MSc in Computer Science, Aachen University of Technology, D