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*.
Podden och tillhörande omslagsbild på den här sidan tillhör Galois, Joey Dodds, Shpat Morina. Innehållet i podden är skapat av Galois, Joey Dodds, Shpat Morina och inte av, eller tillsammans med, Poddtoppen.
