Professor Adolfo Neto artwork

FES 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) - republicação

Professor Adolfo Neto

English - November 21, 2023 04:00 - 1 hour - 72.1 MB
Education Homepage Download Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: A linguagem de programação Lean - Trecho do episódio 32 do podcast Elixir em Foco
Next Episode: Republicação FES: Aprendizado de Máquina em Engenharia de Software com Mauricio Aniche

Republicação do episódio 41 do podcast Fronteiras da Engenharia de Software, em que entrevistei Leonardo de Moura.

Republico aqui, pois foi neste podcast minha primeira entrevista com Leonardo:

Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research https://podcasters.spotify.com/pod/show/adolfont/episodes/Raciocnio-Automatizado-com-Leonardo-de-Moura--Pesquisador-na-Microsoft-Research-e1anc8j

---

Send in a voice message: https://podcasters.spotify.com/pod/show/adolfont/message