#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together
Building Better Systems - En podcast af Galois, Joey Dodds, Shpat Morina
Kategorier:
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.