Chairs
Chair of Algebraic and Logical Foundations of Computer Science
© Baier
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
© Baader
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
© Vogler
Prof. Dr.-Ing. habil. Dr. h.c. / Univ. Szeged Heiko Vogler
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
Office hours:
- Friday:
- 11:30 - 12:00
- on appointment
Chair of Knowledge-Based Systems
© Krötzsch
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