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

Building Better Systems - Un pódcast de Galois, Joey Dodds, Shpat Morina

Categorías:

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.

Visit the podcast's native language site