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

Building Better Systems - A podcast by Galois, Joey Dodds, Shpat Morina

Categories:

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.