#36 Behind the Person Behind this Podcast - Pedro Abreu

Update: 2023-12-26

Description

In this episode we celebrate 3 years of existence of this podcast by
reflecting on the journey so far, what is my philosophy, how do I
approach the interviews, my overall goals for the show, and some of our plans
for the future.

In order to achieve this, I first take a detour and tell you a little more
about my personal history, and my carreer in type theory and programming
languages.

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

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

2024-11-0602:13:31

#43 PL in the Industry and Summer Schools - Patrick and Eric

2024-09-1301:01:30

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

2024-08-2901:52:49

#41 The Value of PL (and) Education - Satnam Singh

2024-08-1501:41:04

#40 Secure Voting - Joe Kiniry

2024-07-1501:08:54

#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

2024-06-1301:49:42

#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

2024-05-1601:55:58

#37 Compilers, Staging, Futamura Projections - Guannan Wei

2024-03-1101:53:20

#36 Behind the Person Behind this Podcast - Pedro Abreu

2023-12-2601:49:55

#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

2023-12-0401:21:29

#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

2023-10-1601:28:27

#33 Z3 and Lean, the Spiritual Journey - Leo de Moura

2023-09-0902:05:07

#32 TyDe Systems - Jan de Muijnck-Hughes

2023-07-2201:41:23

#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

2023-07-1302:09:59

#30 Actors, GADTs and Burnout - Dan and Pedro

2023-05-3001:44:52

#29 Can PL theory make you a better software engineer? - Jimmy Koppel

2023-04-0901:24:19

#28 Formally Verifying Smart Contracts - Pruvendo

2023-02-1501:10:40

#27 Formalizing an OS: The seL4 - Gerwin Klein

2023-02-0401:58:40

#26 Mechanizing Modern Mathematics - Kevin Buzzard

2023-01-1602:15:31

#25 Formally Verifying the Tezos Codebase - Formal Land

2022-11-2101:01:32

00:00

#36 Behind the Person Behind this Podcast - Pedro Abreu

#box-pro-ellipsis-173175765296484{-webkit-line-clamp:2;}#36 Behind the Person Behind this Podcast - Pedro Abreu

#36 Behind the Person Behind this Podcast - Pedro Abreu

Pedro Abreu

#36 Behind the Person Behind this Podcast - Pedro Abreu