SPLASH 2020 (series) / 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
| SPLASH 2020 | Programming at the Edge of Synchrony | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2020-profile
View general profile
View general profile