SPLASH 2020 (series) / Josef Widder
![Josef Widder](https://2020.splashcon.org/getProfileImage/josefwidder1/aa0e86e2-c41f-4023-a0b3-9f96c4ea324d/small.jpg?1712458078000)
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
2020
SPLASH 2020-profile
View general profile
View general profile