Type Theory Forall

Ryan Brewer is a college dropout who has an incredible blog about PL, Category Theory and

In this episode we continue with our conversation with David MacQueen, he is an Emeritus P

David MacQueen has worked at Bell Labs for around 20 years during it’s Golden Age. Profess

In this episode Pierre-Marie Pédrot, one of the main Coq/Rocq developers joins us to talk

In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing h

In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in indust

In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South

Satnam Singh has got incredible experience in both academia and industry. He has worked in

In this episode we go into a deep dive into the formal methods side of Voting systems, and

In this episode we continue our conversation with David Christiansen, he wrote the books F

In this episode we talk with David Christiansen, he wrote the books Functional Programming

In this episode we talk with Guannan Wei, from Purdue University. Guannan finished his PhD

In this episode we celebrate 3 years of existence of this podcast by reflecting on the jou

In this episode we talk with Eduardo Rafael. He is self-thaught programming languages enth

Andrew Marmaduke is a PhD Candidate from the University of Iowa, he works under Aaron Stum

Not satisfied with implementing one of the most popular automated theorem provers, Z3, Leo

In this episode we continue our conversation with Jan de Muijnck-Hughes a Research Associa

In this episode we have a deep conversation with Jan de Muijnck-Hughes, talks about all th

In this episode we have over Dan Plyukhin, a PhD Candidate from the University of Illinois