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 an gesetzlichen Feiertagen.
• Weiters entfällt die Sprechstunde am 21.5.2013.

In dringenden Fällen Termin nach Vereinbarung.

Lehrveranstaltungen (Courses)

• Formale Modellierung (Formal Modelling)
• Formale Methoden der Informatik (Formal Methods in Computer Science)
• Formale Verifikation von Software (Formal Verification of Software)
• Theoretische Informatik und Logik (Theoretical Computer Science and Logics)
• Unifikationstheorie (Unification Theory)
• Symbolic Dynamics and Coding
• Kryptographie im Internet (Cryptography in the Internet)
• Informatikpraktika
• Diplomarbeiten

Funktionen (Positions)

• Ao.Univ.Prof. für theoretische Informatik (associate professor for theoretical computer science)
• 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