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.
9. GI-Arbeitstagung Programmiersprachen (ATPS 2016), Vienna, Austria, February 2016. 19th Europ. Joint Conf. on Theory and Practice of Software (ETAPS 2016), Eindhoven, The Netherlands, April 2016.
Current Teaching (Summer Semester 2016)
No teaching in Summer 2016 due to a sabbatical, except for Seminar Software Engineering and Programming Languages (Bachelor/Master) on the topic of the SCALA programming language.