Josef Widder
Director of Protocol Engineering at Informal Systems
Josef Widder is Director of Protocol Engineering at Informal Systems. He started to work on Cosmos in 2019, with a focus on fault-tolerant distributed protocols. He contributes to design, formal specification, and automated verification of these protocols. Before joining Cosmos, Josef was active in academic research, co-authoring more than 50 academic papers on the theory of distributed algorithms and on new methods for verifying fault-tolerant distributed algorithms by model checking.