Episode 10

#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together

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.

Building Better Systems · Galois, Gregory Malecha, Joey Dodds, Shpat Morina

June 11, 202143m 41s

Audio is streamed directly from the publisher (cdn.simplecast.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.

Original episode page

Show Notes

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/

https://gmalecha.github.io/

Formal Methods for the Informal Engineer: https://fmie2021.github.io/agenda.html

Galois, Inc.: https://galois.com/

← All episodes of Building Better Systems