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

Building Better Systems

Treść dostarczona przez Galois Inc., Joey Dodds, and Shpat Morina. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Galois Inc., Joey Dodds, and Shpat Morina lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.

3+ y ago 43:41

MP3•Źródło odcinka

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/

22 odcinków

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina