#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

Treść dostarczona przez Galois Inc., Joey Dodds, and Shpat Morina. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Galois Inc., Joey Dodds, and Shpat Morina lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.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

Udostępnij

MP3•Źródło odcinka

Treść dostarczona przez Galois Inc., Joey Dodds, and Shpat Morina. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Galois Inc., Joey Dodds, and Shpat Morina lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.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 odcinków

#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

Udostępnij

MP3•Źródło odcinka

Treść dostarczona przez Galois Inc., Joey Dodds, and Shpat Morina. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez Galois Inc., Joey Dodds, and Shpat Morina lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.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 odcinków

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

Все серии

×

Zapraszamy w Player FM

Odtwarzacz FM skanuje sieć w poszukiwaniu wysokiej jakości podcastów, abyś mógł się nią cieszyć już teraz. To najlepsza aplikacja do podcastów, działająca na Androidzie, iPhonie i Internecie. Zarejestruj się, aby zsynchronizować subskrypcje na różnych urządzeniach.

Posłuchaj 500+ tematów

Skrócona instrukcja obsługi

Najlepsze podcasty

Black Hat Ultra

Mała Wielka Firma

Felieton Tomasza Olbratowskiego

Hammerzeit Podcast

YesWas | Podcast

Gość Krzysztofa Ziemca w RMF FM

Z pasją o mocnych stronach

Techniczny NXXI

Ameryka i ja - Lidia Krawczuk w RMF Classic

Prawdziwe Zbrodnie

Piąte: Nie zabijaj