#14: Leo De Moura — Combining The Worlds Of Automated And Interactive Theorem Proving In Lean Building Better Systems podcast

Artwork

Tech Podcasting Education Government Galois Inc Joey Dodds Shpat Morina

Content provided by Galois Inc., Joey Dodds, and Shpat Morina. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Galois Inc., Joey Dodds, and Shpat Morina or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.

Building Better Systems « »
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean

3y ago 45:35

Distribuie

MP3•Pagina episodului

Content provided by Galois Inc., Joey Dodds, and Shpat Morina. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Galois Inc., Joey Dodds, and Shpat Morina or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.

In this episode, we talk with Leo de Moura, a principal researcher at Microsoft Research. We’ll dive into his work on Lean, how goals for Lean have evolved, and who can use it. We also discuss how Leo was able to implement such a system without being a programming languages expert.

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

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

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

Leo de Moura: https://www.microsoft.com/en-us/research/people/leonardo/

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

Contact us: podcast@galois.com

… continue reading

22 episoade

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

Artwork

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

Building Better Systems

published 3y ago

Distribuie

MP3•Pagina episodului

Content provided by Galois Inc., Joey Dodds, and Shpat Morina. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Galois Inc., Joey Dodds, and Shpat Morina or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.

In this episode, we talk with Leo de Moura, a principal researcher at Microsoft Research. We’ll dive into his work on Lean, how goals for Lean have evolved, and who can use it. We also discuss how Leo was able to implement such a system without being a programming languages expert.

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

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

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

Leo de Moura: https://www.microsoft.com/en-us/research/people/leonardo/

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

Contact us: podcast@galois.com

… continue reading

22 episoade

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

Toate episoadele

×

Bun venit la Player FM!

Player FM scanează web-ul pentru podcast-uri de înaltă calitate pentru a vă putea bucura acum. Este cea mai bună aplicație pentru podcast și funcționează pe Android, iPhone și pe web. Înscrieți-vă pentru a sincroniza abonamentele pe toate dispozitivele.

Ascultă peste 500 de subiecte

Ghid rapid de referință

Podcast-uri de top

Florin Rosoga Podcast

Morning Glory cu Răzvan Exarhu

Epic Show Podcast

UPGRADE 100 Podcasts

România în direct - Europa FM

Deşteptarea - Europa FM

Ajutor/FAQ | Upgrade | Advertise

Arte|Afaceri|Comedie|Economie|Divertisment|Știri|Politică|Religie

Ştiinţă|Fotbal|Sport|Povestiri|Tehnologie|True Crime

Drepturi de autor 2024 | Harta site-ului | Politica de confidenţialitate | Termenii serviciului | | Copyright