Couverture de Building Better Systems

Building Better Systems

Building Better Systems

De : Galois Joey Dodds Shpat Morina
Écouter gratuitement

3 mois pour 0,99 €/mois

Après 3 mois, 9.95 €/mois. Offre soumise à conditions.

À propos de ce contenu audio

 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. Politique et gouvernement Sciences politiques
Les membres Amazon Prime bénéficient automatiquement de 2 livres audio offerts chez Audible.

Vous êtes membre Amazon Prime ?

Bénéficiez automatiquement de 2 livres audio offerts.
Bonne écoute !
    Épisodes
    • 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
      Afficher plus Afficher moins
      38 min
    • 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

       

       
      Afficher plus Afficher moins
      49 min
    • 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

       

       

       
      Afficher plus Afficher moins
      46 min
    Aucun commentaire pour le moment