An accessible podcast about Type Theory, Programming Languages Research and related topics.
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
Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where he teaches engineers
In this episode we host another company that does formal method in the context of the Ever
In this episode talk with Gerwin Klein about the formal verification of the microkernel se
