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.

Events

18th Intl. Conf. on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia, June 2018.
23rd Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, Australia, December 2018.

Current Teaching (Summer Semester 2018)

Applied Software Verification (SWT-ASV-M, Master)
Foundations of Software Analysis (SWT-FSE, Bachelor & Master)
Seminar in Software Engineering and Programming Languages (SWT-SEM-BM, 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