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)