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 Europ. Joint Conf. on Theory and Practice of Software (ETAPS 2016), Eindhoven, The Netherlands, April 2016.
21st Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 2016.

Current Teaching (Winter Semester 2016/17)

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

Brief Bio

Photograph of Prof. Dr. Gerald Luettgen
Since 2009: Full Professor of Software Engineering and Programming Languages, University of Bamberg, Germany
(10/2013 - 09/2015, Dean of the Faculty Information Systems and Applied Computer Sciences)
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