informal.systems logo
  • About Us
  • Products
  • Services
  • News & Publications
  • Blog
  • Media
  • News

Hashing It Out #87-Informal Systems Ethan Buchman

16 Jul 2020

Ethan Buchman, CEO at Informal Systems, joined Hashing It Out to discuss Informal’s unique approach to formal verification of reliable distributed systems. He reflects on some of the fundamental security challenges with building protocols, including Tendermint in Go.

Listen to Hashing It Out Here 
  • Home
  • About Us
  • Products
  • Services
  • News & Publications
  • Team
  • Blog
  • Careers

© 2020 Informal Systems Inc. All rights reserved.

  • Privacy Policy
  • Terms of Service
  • 
  • 
  • 