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.

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

Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.

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

Sign up to save your podcasts

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

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