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 | |
Function: | associate professor in theoretical computer science vice dean for academic affairs for informatics Betriebsrat für das wissenschaftliche Personal der TU Wien | |
Publications: | see DBLP; for a copy send me an email |
Office hours
I don't offer regular office hours right now, please send an email instead.
- studiendekanat.informatik@tuwien.ac.at for all inquries regarding the bachelor programs in informatics.
- fmod22s@logic.at for issues regarding the course "Formale Modellierung".
- sc@logic.at for issues regarding the course "Smart contracts".
- gernot.salzer@tuwien.ac.at for anything else.
Teaching
See the official course directory of TU Wien.