Chairs
Chair of Algebraic and Logical Foundations of Computer Science

Prof. Dr. Christel Baier
Send encrypted mail via the SecureMail portal (for TUD external users only).
Algebraic and Logical Foundations of Computer Science
Visiting address:
Andreas-Pfitzmann-Bau (APB), R. 3006 Nöthnitzer Str. 46
01187 Dresden
Chair of Automata Theory

Prof. Dr.-Ing. Franz Baader
Send encrypted mail via the SecureMail portal (for TUD external users only).
Visiting address:
Andreas-Pfitzmann-Bau (APB), R. 3021 Nöthnitzer Str. 46
01187 Dresden
Chair of Foundations of Programming
Foundations of Programming
Send encrypted mail via the SecureMail portal (for TUD external users only).
Visiting address:
Andreas-Pfitzmann-Bau (APB), R. 3019 Nöthnitzer Str. 46
01187 Dresden
Postal address:
TUD Dresden University of Technology
Institut für Theoretische Informatik
Grundlagen der Programmierung
01062 Dresden
Chair of Knowledge-Based Systems

Prof. Dr. Markus Krötzsch
Send encrypted mail via the SecureMail portal (for TUD external users only).
Visiting address:
Andreas-Pfitzmann-Bau (APB), Room 3010 Nöthnitzer Str. 46
01187 Dresden