Josef Widder

I am postdoc in the FORSYTE group at TU Wien.
In the past, I worked at the Parasol Lab at Texas A&M University, the Laboratoire d’Informatique LIX at Ecole polytechnique, and at the Embedded Computing Systems group at TU Wien.

My primary area of interest is the theoretical approach to distributed algorithms, currently focussing on automated verification of fault-tolerant distributed algorithms.

CV from January 2012.

Publications

an up-to-date list of my publications.
my ACM Author-izer page provides free access to my papers that were published with ACM.
my papers at dblp.

Current activities

Co-organizer of the Dagstuhl Seminar 13141: Formal Verification of Distributed Algorithms.
Co-organizer of the (EC)² workshop that is associated with CAV 2012.
PC member of the Fault-Tolerant and Dependable Systems track of SSS 2012.

Teaching

184.733 Formal Methods for Concurrent and Distributed Systems.
Master’s thesis topics.

Contact information

Josef Widder
Technische Universität Wien
Institut für Informationssysteme 184/4
Arbeitsbereich Formal Methods in Systems Engineering
Favoritenstraße 9–11
1040 Wien
Austria

room: HD 03 23
phone: +43 (1) 58801 – 184 900
email: ta.etysrofnull@reddiw

Uni-Finanzierung als Absurdes Theater (Der Standard)

March 28, 2012

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. [...]

[Read More...]