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.