conf.researchr.org / Josef Widder
Registered user since Sat 22 Aug 2020
Name:Josef Widder
Affiliation:Informal Systems
Personal website: https://forsyte.at/widder
Research interests:fault tolerance, distributed algorithms, byzantine faults, computer-aided verification, model checking
Contributions