Roberto Saltini
Roberto is currently leading the Dependable Distributed Systems research team at ConsenSys. His main research interests revolve around the design, analysis and formal verification of distributed protocols.
Sessions
10-13
13:30
30min
Formal Specification and Verification of the Distributed Validator Technology protocol
Roberto Saltini
Staking & Validator Experience
Talk 4