#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. 

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/ 

Contact us: [email protected]