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

Building Better Systems

Contenu fourni par Galois Inc., Joey Dodds, and Shpat Morina. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Galois Inc., Joey Dodds, and Shpat Morina ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.

3+ y ago 43:41

MP3•Maison d'episode

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 episodes

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