Prof. Dr. Stephan Kreutzer
Phone:
+49 30 314 29088
+49 30 314 29089 (Secretary)
+49 30 314 29037 (Fax)
+49 30 314 29089 (Secretary)
+49 30 314 29037 (Fax)
Office Hours:
Friday, 13:00 - 14:00; by appointment during semester break
Office Address:
Room: TEL 711a
Ernst-Reuter-Platz 7
10587 Berlin
Ernst-Reuter-Platz 7
10587 Berlin
Postal Address:
Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Lehrstuhl für Logik und Semantik
Sekr. TEL 7-3
Ernst-Reuter-Platz 7
10587 Berlin, Germany
Institut für Softwaretechnik und Theoretische Informatik
Lehrstuhl für Logik und Semantik
Sekr. TEL 7-3
Ernst-Reuter-Platz 7
10587 Berlin, Germany
