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.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Galois, Joey Dodds, Shpat Morina. Innehållet i podden är skapat av Galois, Joey Dodds, Shpat Morina och inte av, eller tillsammans med, Poddtoppen.