Listen Top Shows Blog

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

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

Update: 2023-11-21

Share

Description

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

Comments

Top Podcasts

The Best New Comedy Podcast Right Now – June 2024 The Best News Podcast Right Now – June 2024 The Best New Business Podcast Right Now – June 2024 The Best New Sports Podcast Right Now – June 2024 The Best New True Crime Podcast Right Now – June 2024 The Best New Joe Rogan Experience Podcast Right Now – June 20 The Best New Dan Bongino Show Podcast Right Now – June 20 The Best New Mark Levin Podcast – June 2024

In Channel

Unsafe Impedance: Safe Languages and Safe by Design Software

Unsafe Impedance: Safe Languages and Safe by Design Software

2024-10-1317:41

An interview with Dave Lucia at Code BEAM America 2022

An interview with Dave Lucia at Code BEAM America 2022

2024-09-0604:26

An interview with Lee Barney at Code BEAM America 2022

An interview with Lee Barney at Code BEAM America 2022

2024-09-0502:41

Emotions in Software Engineering, with Nicole Novielli (Uniba)

Emotions in Software Engineering, with Nicole Novielli (Uniba)

2024-08-2839:08

Diversity and Inclusion in Software Engineering, with Alexander Serebrenik (TU/e)

Diversity and Inclusion in Software Engineering, with Alexander Serebrenik (TU/e)

2024-08-0638:13

Ethics in Software Engineering with Brittany Johnson-Matthews (George Mason University)

Ethics in Software Engineering with Brittany Johnson-Matthews (George Mason University)

2024-06-1822:51

Inside the Scheme Workshop 2024 with Kris Micinski

Inside the Scheme Workshop 2024 with Kris Micinski

2024-06-0342:56

An interview with Herminio Torres at Code BEAM America 2022 (in Portuguese)

An interview with Herminio Torres at Code BEAM America 2022 (in Portuguese)

2024-05-1303:53

Erlang Workshop, Erlang, and OTP with Kiko Fernandez-Reyes

Erlang Workshop, Erlang, and OTP with Kiko Fernandez-Reyes

2024-05-0824:24

Empowering Learning: Peter Ullrich's Journey from Psychology to Indie Courses

Empowering Learning: Peter Ullrich's Journey from Psychology to Indie Courses

2024-04-3033:13

Elixir Enthusiasm: Insights from Senior Software Engineer Eduardo Borsa

Elixir Enthusiasm: Insights from Senior Software Engineer Eduardo Borsa

2024-04-0323:18

Exploring Erlang, Elixir and Beyond: A Conversation with Professor Laura Castro

Exploring Erlang, Elixir and Beyond: A Conversation with Professor Laura Castro

2024-03-1826:30

An interview with Sophie DeBenedetto at Code BEAM America 2022

An interview with Sophie DeBenedetto at Code BEAM America 2022

2024-03-0405:02

An interview with Mackenzie Morgan at Code BEAM America 2022

An interview with Mackenzie Morgan at Code BEAM America 2022

2024-02-2802:33

Elixir, Education, and Beyond: A Conversation with Rickson Oliveira, Software Engineer at ateliware

Elixir, Education, and Beyond: A Conversation with Rickson Oliveira, Software Engineer at ateliware

2024-02-1933:51

An interview with Carlo Gilmar at Code BEAM America 2022

An interview with Carlo Gilmar at Code BEAM America 2022

2024-01-3003:45

Learning Elixir with ELXPRO - Gustavo Oliveira

Learning Elixir with ELXPRO - Gustavo Oliveira

2023-12-1823:00

Republicação FES: Aprendizado de Máquina em Engenharia de Software com Mauricio Aniche

Republicação FES: Aprendizado de Máquina em Engenharia de Software com Mauricio Aniche

2023-12-0801:03:47

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

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

2023-11-2101:18:42

A linguagem de programação Lean - Trecho do episódio 32 do podcast Elixir em Foco

A linguagem de programação Lean - Trecho do episódio 32 do podcast Elixir em Foco

2023-10-3103:33

00:00

00:00

1.0x

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

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

Adolfo Neto