با برنامه 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 قسمت
Todos os episódios
×به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.