Verifying fault-tolerant distributed systems

Speaker: Raghavendra Ramesh

Abstract: Distributed systems have become a norm in today’s world. Assuring the reliability of such distributed systems is business-critical and safety-critical. The plan is to survey the literature for different classes of distributed systems, the desired properties on them, and mainly to focus on the history and state-of-art approaches for verifying such systems. The talk will be at high-level giving a bird’s-eye view of the research area.

Speaker bio: Raghavendra Ramesh is a researcher at a Blockchain Technology company, ConsenSys Software. His research interests are in formal methods, design and verification of distributed systems, cryptography and security. He has completed his PhD from Indian Institute of Science, Bangalore

This event will be held online via Zoom. Please register to attend.