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

3rd Annual Meeting - German Chapter CONCUR (D-CON), Bamberg, Germany, March 2010.
15th IEEE Intl. Conferences on Engineering of Complex Computer Systems (ICECCS 2010), Oxford, UK, March 2010.
10th Intl. Workshop on Automated Verification of Critical Systems (AVOCS 2010), Düsseldorf, Germany, September 2010.
13th Brazilian Symposium on Formal Methods (SBMF 2010), Natal, Rio Grande do Norte, Brazil, November 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