Josef Widder

Dr. Josef Widder is an Affiliated Researcher and Privatdozent at Technische Universität Wien's Embedded Computing Systems department. His research develops formal methods for verifying fault-tolerant distributed systems, with contributions to model checking and concurrent system verification.

Core research areas include parameterized verification techniques, Byzantine fault tolerance, and synchronization in distributed algorithms. Recent work focuses on efficient model checking approaches for synchronous systems and counter abstraction methods.

Supervision activities include doctoral students working on SMT-driven verification techniques and symbolic verification of distributed algorithms. Recognized through dissertation awards for contributions to distributed computing theory.