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.
All content for Building Better Systems is the property of Galois, Joey Dodds, Shpat Morina and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
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.
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
Building Better Systems
37 minutes 50 seconds
3 years ago
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
In this episode, we're joined by Eric Daimler, CEO & co-founder of Conexus AI, Inc, an MIT spin out. We discuss the Conexus software platform, which is built on top of breakthroughs in the mathematics of Category Theory, and how it guarantees the integrity of universal data models. Eric shares real-world examples of applying this approach to various complex industries, such as transportation and logistics, avionics, and energy.
Listen to this episode wherever you listen to podcasts.
Eric Daimler: https://www.linkedin.com/in/ericdaimler/
Joey Dodds: https://www.linkedin.com/in/joey-dodds-4b462a41/
Rob Dockins: https://galois.com/team/robert-dockins/
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
Building Better Systems
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.
