התחל במצב לא מקוון עם האפליקציה Player FM !
פודקאסטים ששווה להאזין
בחסות


1 Venture Investing in Mobility + Tech with University of Michigan’s Early-Stage Zell Lurie Commercialization Fund 39:30
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
Manage episode 337287764 series 2824530
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
22 פרקים
Manage episode 337287764 series 2824530
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
22 פרקים
All episodes
×
1 Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory 37:50

1 Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types 48:45

1 Episode #20: Ankush Desai — P: The Modeling Language That Could 46:12

1 #19: Steve Weis — Security Shouldn't Be the Last Check Box 41:36

1 #18: Jordan Kyriakidis — Helping People Write More Useful Requirements 47:19

1 #17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2) 28:38

1 #16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1) 56:25

1 #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA 55:52

1 #14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean 45:35

1 #13: Rod Chapman – It's Either Automated or It's Wrong 44:03

1 #12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa 30:58

1 #11: Alastair Reid – Meeting Developers Where They Are 36:18

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

1 #9: Tycho Andersen – Commit Log Spelunking 42:34

1 #8: Eric Davis – Building Better Data Models 34:28

1 #7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work 1:13:38

1 #6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire? 1:01:05

1 #5: Talia Ringer – Proof Engineering for the People 30:17

1 #4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean? 17:04

1 #3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis 1:00:50

1 #2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2 35:28

1 #1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1 29:39
ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.