Building Better Systems

By: Galois Joey Dodds Shpat Morina
Listen for free

  • Summary

  • 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.
    Show More Show Less
Political Science
Show More Show Less
Episodes
  • Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory

    Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
    Aug 9 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: podcast@galois.com
    Show More Show Less
    38 mins
  • Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

    Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
    Jun 10 2022

    Today we're joined by Nikhil Swamy, Senior Principal Researcher in the RiSE group at Microsoft Research. We are very excited to hear about what he's been working on. In particular, we're going discuss a language that he's co-created and continually develops called F* (pronounced F star). F* is a dependently typed language that you can both program and prove things about the programs that you write. We'll talk about what makes that language special and unique from other similar languages, as well as some of the applications of F*.

     

    Watch all our episodes on the Building Better Systems YouTube channel

    Nikhil Swamy: https://www.microsoft.com/en-us/research/people/nswamy/

    F*: https://www.fstar-lang.org/

    Joey Dodds: https://galois.com/team/joey-dodds/

    Shpat Morina: https://galois.com/team/shpat-morina/ 

    Galois, Inc.: https://galois.com/ 

    Contact us: podcast@galois.com

     

     
    Show More Show Less
    49 mins
  • Episode #20: Ankush Desai — P: The Modeling Language That Could

    Episode #20: Ankush Desai — P: The Modeling Language That Could
    Apr 28 2022

    Joey and Shpat talk with Ankush Desai, a Senior Applied Scientist at AWS and one of the primary developers behind the P language. They dig into uses for P, bug finding, and what it takes for formal methods researchers to build useful tools for applied engineers. 

    Watch all our episodes on the Building Better Systems youtube channel.

    Ankush Desai: https://www.linkedin.com/in/ankush-desai/ 

    Joey Dodds: https://galois.com/team/joey-dodds/

    Shpat Morina: https://galois.com/team/shpat-morina/ 

    Galois, Inc.: https://galois.com/ 

    Contact us: podcast@galois.com

     

     

     
    Show More Show Less
    46 mins

What listeners say about Building Better Systems

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.co.uk reviews

Amazon reviews
No Reviews are Available