使用Player FM应用程序离线!
#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集单集
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集单集
Tous les épisodes
×欢迎使用Player FM
Player FM正在网上搜索高质量的播客,以便您现在享受。它是最好的播客应用程序,适用于安卓、iPhone和网络。注册以跨设备同步订阅。