Go offline with the Player FM app!
#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together
Manage episode 294758486 series 2824530
Gregory Malecha talks with Joey and Shpat about Bedrock, a startup bringing systems engineers together with formal methods engineers to build some of the most secure and correct systems in the world.
Watch all our episodes on the Building Better Systems youtube channel.
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Gregory Malecha: https://www.linkedin.com/in/gregory-malecha-91a71469/
Formal Methods for the Informal Engineer: https://fmie2021.github.io/agenda.html
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 episodes
Manage episode 294758486 series 2824530
Gregory Malecha talks with Joey and Shpat about Bedrock, a startup bringing systems engineers together with formal methods engineers to build some of the most secure and correct systems in the world.
Watch all our episodes on the Building Better Systems youtube channel.
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Gregory Malecha: https://www.linkedin.com/in/gregory-malecha-91a71469/
Formal Methods for the Informal Engineer: https://fmie2021.github.io/agenda.html
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.