Josef Widder

Postdoctoral Researcher at the Institute of Information Systems

Research Interests
distributed computing theory, model checking, fault tolerance


Biographical Information

Josef Widder is a postdoc in the FORSYTE group at TU Wien. In the past, he 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. His primary area of interest is the theoretical approach to distributed algorithms, currently focussing on automated verification of fault-tolerant distributed algorithms.