Gernot Salzer Technische Universität Wien Favoritenstr. 9-11/E1852 A-1040 Wien, Austria T +43-1-58801-18541 F +43-1-58801-918541 salzer@logic.at

Sprechstunden (Office hours)

Jeden Dienstag, 10:00-12:00, 1040 Wien, Favoritenstr. 9/Stiege 2/3.Stock, Raum HB0312

Ausnahmen: Die Sprechstunde entfällt am 28. September und am 8. November 2010 sowie an gesetzlichen Feiertagen.

In dringenden Fällen Termin nach Vereinbarung.

Sind Sie sicher, dass Sie tatsächlich mich sprechen wollen? Seit 1.1.2010 gibt es geänderte Zuständigkeiten in Studienfragen.

Lehrveranstaltungen (Courses)

• Formale Methoden der Informatik
• Formale Verifikation von Software
• Theoretische Informatik 1
• Unifikationstheorie
• Symbolic Dynamics and Coding
• Kryptographie im Internet
• Verifikation sequentieller, paralleler und verteilter Programme (Seminar aus theoretischer Informatik)
• Informatikpraktika
• Diplomarbeiten

Funktionen (Positions)

• Ao.Univ.Prof. für theoretische Informatik (associate professor for theoretical computer science)
• Vorsitzender der Studienkommission Informatik (head of the curricula commission for informatics)
• Betriebsrat für das wissenschaftliche Personal der TU Wien

Publications

To get a copy of one of my publications, send me an email.

Some notes

Gernot Salzer