Josef Widder


Josef Widder
Privatdoz. Dipl.-Ing. Dr.techn.
Phone +43(1)58801-18263
Fax +43(1)58801-18297

TU Wien
Department of Computer Engineering
Embedded Computing Systems Group
Treitlstraße 3, 2nd floor
1040 Wien, Austria


I am external associate professor (Privatdozent) 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 ECS and Forsyte groups at TU Wien. I received my M.Sc. (Diplomingenieur), Ph.D. (Doctor technicae), and habilitation (Privatdozent) in Computer Science from TU Wien in 2002, 2004, and 2015.

My primary research interest is the theoretical approach to distributed algorithms, currently focussing on automated verification of fault-tolerant distributed algorithms. In particular, I am contributing to the theoretical foundations of the Byzantine Model Checker.

My other primary interest is Ashtanga Yoga.

As Privatdozent at TU Wien, I have been assigned to the Forsyte group. My page there contains more information, e.g., on publications.