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

<p>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. </p><p>Watch all our episodes on the <a href="https://youtu.be/98_egT5VGCY" target="_blank">Building Better Systems youtube channel</a>.</p><p>Joey Dodds: <a href="https://galois.com/team/joey-dodds/" target="_blank">https://galois.com/team/joey-dodds/ </a></p><p>Shpat Morina: <a href="https://galois.com/team/shpat-morina/" target="_blank">https://galois.com/team/shpat-morina/  </a></p><p>Gregory Malecha: <a href="https://www.linkedin.com/in/gregory-malecha-91a71469/" target="_blank">https://www.linkedin.com/in/gregory-malecha-91a71469/</a></p><p><a href="https://gmalecha.github.io/">https://gmalecha.github.io/</a></p><p>Formal Methods for the  Informal Engineer: <a href="https://fmie2021.github.io/agenda.html " target="_blank">https://fmie2021.github.io/agenda.html </a></p><p>Galois, Inc.: <a href="https://galois.com/" target="_blank">https://galois.com/ </a></p><p>Contact us: <a href="https://dashboard.simplecast.com/accounts/51604d1d-8164-4274-9e73-1606dbc7cf37/shows/83a96719-0b3a-4a2c-b6ef-4cbfc1905808/episodes/dce9dfab-1f9b-4982-8960-fe951a3ba7ef/podcast@galois.com" target="_blank">podcast@galois.com</a></p>