Josef Widder
I am external associate professor (Privatdozent) at TU Wien and senior research scientist at Informal Systems. My primary area of interest is the theoretical approach to distributed algorithms, currently focussing on automated verification of fault-tolerant distributed algorithms. |
|
Publications
- an up-to-date list of my publications.
- my papers at dblp.
Past projects
-
PRAVDA. Parametrized Verification of Fault-tolerant Distributed Algorithms (FWF)
- APALACHE. Abstraction-based parameterized TLA+ checker (WWTF)
- RiSE. Rigorous Systems Engineering (FWF)
Contact information
Josef Widder
email: widder@forsyte.at