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, formal methods, automated software verification, model checking, concurrency theory, parallel programming, programming languages.

Events

2nd Intl. Workshop on Petri Nets Compositions (CompoNet 2012), Hamburg, Germany, June 2012.
17th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 2012.
11th Intl. Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012), London, England, September 2012.
12th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2012) (co-chair), Bamberg, Germany, September 2012.
15th Brazilian Symp. on Formal Methods (SBMF 2012), Natal-RN, Brazil, September 2012.

Current Teaching (Summer Semester 2012)

None - sabbatical (research term)

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