Sveriges mest populära poddar
Building Better Systems
UtbildningTeknologi

Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory

38 min•9 augusti 2022

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: [email protected]

Fler avsnitt av Building Better Systems

Visa alla avsnitt av Building Better Systems
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
•49 min
Episode #20: Ankush Desai — P: The Modeling Language That Could
•46 min
#19: Steve Weis — Security Shouldn't Be the Last Check Box
•42 min
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements
•47 min
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)
•29 min
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)
•56 min
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
•56 min
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
•46 min
#13: Rod Chapman – It's Either Automated or It's Wrong
•44 min
#12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa
•31 min

Building Better Systems med Galois, Joey Dodds, Shpat Morina finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.