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

from Building Better Systems Hosted by Galois, Gregory Malecha, 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. Watch all our episodes on the Building Better Systems youtube channel. Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Gregory Malecha: https://www.linkedin.com/in/gregory-malecha-91a71469/ https://gmalecha.github.io/ Formal Methods for the Informal Engineer: https://fmie2021.github.io/agenda.html Galois, Inc.: https://galois.com/ Contact us: [email protected]

Episode details come from the podcast's RSS feed.

Embed this episode

Attribution link and audio player

What this episode covers

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.

Ready to play

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

0:00 43:41

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar episodes

Bringing it all together.

Mar 31, 2026 54 min

Similar podcasts

The Course Mentors Podcast The Course Mentors Hey there, future course creator! Ever feel like turning your know-how into an online course is like trying to solve a Rubik's cube blindfolded? Well, grab your headphones because "The Course Mentors Podcast" is here to be your secret weapon! Meet Aimee and Odette (that's us!), your new best friends in the course creation world. We've been in the trenches for over a decade, and for the last five years, we've been rocking the online course space. Now we're here to spill all our secrets in bite-sized, 15-20 minute episodes that'll fit perfectly in your coffee breaks. No fluff, no filler - just real, actionable advice that'll take you from "um, what's a landing page?" to "holy moly, I just hit six figures!". We're talking everything from crafting your course to marketing it like a pro and building a business that'll have you pinching yourself. Whether you're dreaming of ditching the 9-to-5 grind, adding a sweet extra income str

Frequently asked questions

How long is this episode of Building Better Systems?

This episode is 43 minutes long.

When was this Building Better Systems episode published?

This episode was published on June 11, 2021.

Can I download this Building Better Systems episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.