• Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

  • Jun 10 2022
  • Length: 49 mins
  • Podcast

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

Listen for free

View show details

  • Summary

  • 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
Show More Show Less

What listeners say about Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

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