Gernot Salzer

Room:
HB 03 12
Address:
Institut für Logic and Computation
Technische Universität Wien
Favoritenstr. 9-11/E192-05
1040 Wien, Austria
Homepage:
www.logic.at/staff/salzer
Tel:
+43 (1) 58801-18541
Available:
see office hours below
Mail:
gernot.salzer@tuwien.ac.at
Function:
associate professor in theoretical computer science
vice dean for academic affairs for business informatics
Betriebsrat für das wissenschaftliche Personal der TU Wien
Publications:
see DBLP; for a copy send me an email

Office hours

Regarding bachelor programmes in computer science (Informatik)

Every Tuesday, 09:00-11:00 (no appointment required)
in the Dean's office (Dekanat), Erzherzog-Johann-Platz 1/4.Stock, 1040 Wien.
No regular office hours for the time being. Send me an email instead.

Regarding everything else, in particular "Formale Modellierung"

Every Tuesday, 11:00-13:00 (no appointment required) or by appointment
in room HB0312, Favoritenstr. 9/Stiege 1/3.Stock, 1040 Wien.
No regular office hours for the time being. Send me an email instead.

Teaching

Random Stuff