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.


19th Intl. Conf. on Application of Concurrency to System Design (ACSD 2019), Aachen, Germany, June 2019.
3rd Intl. Workshop on Verification of Objects at Runtime Execution (VORTEX 2019), London, U.K., July 2019.
30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, The Netherlands, August 2019.
GI Jahrestagung Informatik (INFORMATIK 2019), Kassel, Germany, September 2019.
24th Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2019), Hong Kong, China, November 2019.

Current Teaching (Summer Semester 2019)

Foundations of Software Engineering (SWT-FSE-B, Bachelor)
Applied Software Verification (SWT-ASV-M, Master)

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