Loading…
Wednesday, October 17 • 2:20pm - 2:50pm
Deep Dive: Formal Methods

Log in to save this to your schedule and see who's attending!

Dr. Leemon Baird will present an introduction to how mathematical proofs can be checked by a computer, and how this can be useful in projects where security and correctness is important. These formal methods can increase our confidence that a consensus algorithm is truly Asynchronous Byzantine Fault Tolerant (aBFT), or that a given program correctly implements that algorithm. Examples will be shown from the proofs that have been developed for the Hashgraph consensus algorithm, using the Coq Proof Assistant.

Speakers
avatar for Dr. Leemon Baird

Dr. Leemon Baird

Co-Founder & Chief Scientist, Hedera Hashgraph
Dr. Leemon Baird is the inventor of the hashgraph distributed consensus algorithm, and is the Co-founder and Chief Scientist of Hedera Hashgraph. With over 20 years of technology and startup experience, he has held positions as a Professor of Computer Science at the Air Force Academy... Read More →


Wednesday October 17, 2018 2:20pm - 2:50pm
Trinity Ballroom