Leonardo de Moura <a href="https://www.microsoft.com/en-us/research/people/leonardo/">https://www.microsoft.com/en-us/research/people/leonardo/</a>
Se preferir ver esta entrevista em vídeo, ela está em <a href="https://youtu.be/bwKFcLaeD1A">https://youtu.be/bwKFcLaeD1A</a>.
Lean <a href="https://leanprover.github.io/">https://leanprover.github.io/</a>
Zulip do Lean: <a href="https://leanprover.zulipchat.com/login/">https://leanprover.zulipchat.com/login/</a>
Vaga na Microsoft Research <a href="https://careers.microsoft.com/us/en/job/1203686/Research-Software-Engineer-Formal-Methods-Microsoft-Research">https://careers.microsoft.com/us/en/job/1203686/Research-Software-Engineer-Formal-Methods-Microsoft-Research</a>
Contribuidores nas perguntas: Walter Carnielli e Adair Antonio Da Silva Neto
Adolfo Neto no Twitter <a href="https://twitter.com/adolfont">https://twitter.com/adolfont</a>
 

--- 

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

Entrevista com a equipe da UTFPR Curitiba classificada para a Final da Maratona de Programação

I am Adolfo Neto, a professor at UTFPR Curitiba. In this podcast, I interview professionals from the field of computing and related areas. My goal is to better understand how they became interested in their current profession, what their daily lives are like, and what their motivations, difficulties, and challenges are.