About this episode

Francille Zhuang discusses her research on Property Based Testing and shares insights on applying for graduate school in Programming Languages.

More episodes of Type Theory Forall

• #61 Zurihac Behind the Scenes - Farhad Mehta · April 16, 2026 · 2h 19m
• #60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan · March 25, 2026 · 1h 53m
• #59 Category Theory and Inclusivity - Valeria de Paiva · January 28, 2026 · 2h 47m
• #58 Constructivism and Computational Content - Andrej Bauer · December 16, 2025 · 2h 19m
• #57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik · December 6, 2025 · 59 min
• #55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber · October 27, 2025 · 2h 38m

Explore listener stats, chart rankings, contacts and more on the Type Theory Forall podcast page.