انتقل إلى وضع عدم الاتصال باستخدام تطبيق 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 حلقات
كل الحلقات
×مرحبًا بك في مشغل أف ام!
يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.