Name:Josef Widder

Affiliation:Informal Systems

Research interests:fault tolerance, distributed algorithms, byzantine faults, computer-aided verification, model checking