You are here: Home

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.


13th Intl. Conf. on integrated Formal Methods (iFM 2017), Torino, Italy, September 2017.
22nd Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2017), Fukuoka, Japan, November 2017.
18th Intl. Conf. on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia, June 2018.

Current Teaching (Winter Semester 2017/18)

Foundations of Software Analysis (SWT-FSA, Bachelor & Master)
Principles of Compiler Construction (SWT-PCC-M, Master)
Software Engineering Lab (SWT-SWL-B, Bachelor)

Brief Bio

Photograph of Prof. Dr. Gerald Luettgen
Since 2009: Full Professor of Software Engineering and Programming Languages, University of Bamberg, Germany
2003-2009: Senior Lecturer then Reader 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, RWTH Aachen University, D

^ Top