Offline dengan aplikasi Player FM !
41: Lean e Verificação de Software, com Leonardo de Moura (AWS)
Manage episode 383757103 series 2931673
Neste episódio do Fronteiras da Engenharia de Software, Adolfo Neto entrevista o pesquisador Leonardo de Moura, Senior Principal Applied Scientist no Grupo de Raciocínio Automatizado na AWS e Chief Architect da Lean FRO. Leonardo é reconhecido por diversas contribuições, entre elas o desenvolvimento do Z3, um SMT Solver, e da Lean, que é ao mesmo tempo uma linguagem de programação funcional e um provador de teoremas.
A entrevista é dividida em partes, começando com a apresentação de Leonardo e de sua trajetória desde o doutorado na PUC-Rio até sua posição atual na AWS. Em seguida, Leonardo explora os conceitos fundamentais sobre verificação de software e como provadores de teoremas, como o Z3, são aplicados nesse contexto.
A terceira parte destaca a evolução do Lean, inicialmente uma ferramenta para matemáticos, para se tornar uma linguagem de programação funcional (Lean 4). Leonardo compartilha insights sobre o sucesso do Lean, sua comunidade ativa e as possibilidades que a linguagem oferece para desenvolvimento e verificação de software.
Dentro do enfoque em Lean, são abordados temas como a mudança para ser uma linguagem de programação funcional, a base em teoria dos tipos dependentes e as potenciais aplicações em pesquisa e desenvolvimento de software. Perguntas do Twitter sobre o uso do Lean fora do meio acadêmico e a Teoria da Homotopia são discutidas, assim como as perspectivas de pesquisa com o Lean 4.
A quarta parte explora temas diversos, como a participação de Lean na Rinha de Backend, onde uma implementação em Lean se destacou, e a criação da Lean FRO, uma organização focada em pesquisa do Lean. Também são discutidos os avanços em IA e como o Lean pode se beneficiar dessas tecnologias.
Na parte final, Adolfo pergunta a Leonardo sobre a próxima fronteira da engenharia de software, proporcionando uma visão do que pode vir a moldar o futuro da área. O episódio encerra com agradecimentos aos ouvintes e a promessa de retornar com mais discussões no próximo episódio do Fronteiras da Engenharia de Software.
Sobre Leonardo de Moura:
Escavador https://www.escavador.com/sobre/7442280/leonardo-mendonca-de-moura
Scholar https://scholar.google.com/citations?user=CwazDKgAAAAJ&hl=pt-BR&oi=ao
Linkedin https://www.linkedin.com/in/leonardo-de-moura-26a27b5/
Mais links em https://fronteirases.github.io/episodios/paginas/41
Entrevistador: Adolfo Neto (PPGCA UTFPR) https://adolfont.github.io/
Nosso site é: https://fronteirases.github.io/
Opening Song: Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr Video. Link: https://www.youtube.com/watch?v=8ZZbAkKNx7s
60 episode
Manage episode 383757103 series 2931673
Neste episódio do Fronteiras da Engenharia de Software, Adolfo Neto entrevista o pesquisador Leonardo de Moura, Senior Principal Applied Scientist no Grupo de Raciocínio Automatizado na AWS e Chief Architect da Lean FRO. Leonardo é reconhecido por diversas contribuições, entre elas o desenvolvimento do Z3, um SMT Solver, e da Lean, que é ao mesmo tempo uma linguagem de programação funcional e um provador de teoremas.
A entrevista é dividida em partes, começando com a apresentação de Leonardo e de sua trajetória desde o doutorado na PUC-Rio até sua posição atual na AWS. Em seguida, Leonardo explora os conceitos fundamentais sobre verificação de software e como provadores de teoremas, como o Z3, são aplicados nesse contexto.
A terceira parte destaca a evolução do Lean, inicialmente uma ferramenta para matemáticos, para se tornar uma linguagem de programação funcional (Lean 4). Leonardo compartilha insights sobre o sucesso do Lean, sua comunidade ativa e as possibilidades que a linguagem oferece para desenvolvimento e verificação de software.
Dentro do enfoque em Lean, são abordados temas como a mudança para ser uma linguagem de programação funcional, a base em teoria dos tipos dependentes e as potenciais aplicações em pesquisa e desenvolvimento de software. Perguntas do Twitter sobre o uso do Lean fora do meio acadêmico e a Teoria da Homotopia são discutidas, assim como as perspectivas de pesquisa com o Lean 4.
A quarta parte explora temas diversos, como a participação de Lean na Rinha de Backend, onde uma implementação em Lean se destacou, e a criação da Lean FRO, uma organização focada em pesquisa do Lean. Também são discutidos os avanços em IA e como o Lean pode se beneficiar dessas tecnologias.
Na parte final, Adolfo pergunta a Leonardo sobre a próxima fronteira da engenharia de software, proporcionando uma visão do que pode vir a moldar o futuro da área. O episódio encerra com agradecimentos aos ouvintes e a promessa de retornar com mais discussões no próximo episódio do Fronteiras da Engenharia de Software.
Sobre Leonardo de Moura:
Escavador https://www.escavador.com/sobre/7442280/leonardo-mendonca-de-moura
Scholar https://scholar.google.com/citations?user=CwazDKgAAAAJ&hl=pt-BR&oi=ao
Linkedin https://www.linkedin.com/in/leonardo-de-moura-26a27b5/
Mais links em https://fronteirases.github.io/episodios/paginas/41
Entrevistador: Adolfo Neto (PPGCA UTFPR) https://adolfont.github.io/
Nosso site é: https://fronteirases.github.io/
Opening Song: Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr Video. Link: https://www.youtube.com/watch?v=8ZZbAkKNx7s
60 episode
सभी एपिसोड
×Selamat datang di Player FM!
Player FM memindai web untuk mencari podcast berkualitas tinggi untuk Anda nikmati saat ini. Ini adalah aplikasi podcast terbaik dan bekerja untuk Android, iPhone, dan web. Daftar untuk menyinkronkan langganan di seluruh perangkat.