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.
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)
|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
|2000-2002: ||Senior Lecturer in Computer Science, University of
|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|