#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together
Building Better Systems - Podcast tekijän mukaan Galois, Joey Dodds, Shpat Morina
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.
