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 Montag, 10:30-12:30, 1040 Wien, Favoritenstr. 9/Stiege 2/3.Stock, Raum HB0312

Ausnahmen: Die Sprechstunde entfällt an gesetzlichen Feiertagen sowie am 25.1. und 1.2.2010. Weiters verschiebt sich die Sprechstunde am 8.2., 1.3., 12.4., 3.5., 7.6., 5.7., 6.9., 4.10., 8.11. und 6.12.2010 auf 11:30-13:00.

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