DEV Community 👩‍💻👨‍💻

Elixir UTFPR (por Adolfo Neto)
Elixir UTFPR (por Adolfo Neto)

Posted on

Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research

Acabei de entrevistar Leonardo de Moura.

A entrevista está no Spotify, para quem quer apenas ouvir: https://open.spotify.com/episode/7wSSQuqMXCq69atlRKqYyO

O Anchor contém links para diversos outros aplicativos de podcasts: https://anchor.fm/adolfont/episodes/Raciocnio-Automatizado-com-Leonardo-de-Moura--Pesquisador-na-Microsoft-Research-e1anc8j

Leonardo de Moura é um brasileiro que trabalha na Microsoft Research. Ele é um pesquisador bastante citado. Leonardo publicou o artigo Z3: An efficient SMT solver em 2008. Verifiquei hoje (23/11/2021) e o artigo já tem mais de 7900 citações, 937 só no ano passado!

Leonardo de Moura criou o provador de teoremas Z3 e o assistente de provas Lean que, na sua versão 4, é também uma linguagem de programação funcional.

Como não encontrei nenhuma entrevista ou palestra dele gravada em português no YouTube, decidi eu mesmo fazâ-la. Em inglês há esta palestra dele explicando o Lean 4, entre outras.

Top comments (0)

🌚 Life is too short to browse without dark mode