About this episode

The episode features a discussion with Kathrin Stark about program verification and related topics.

We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them. We discuss many aspects of proofs and specifications, and the languages involved in the process, as well as verifying and producing provably correct neural networks.

More episodes of The Haskell Interlude

• 81: Torsten Grust · April 27, 2026 · 1h 11m
• 80: POPL 2026 - Part 1 · April 13, 2026 · 43 min
• 79: Peter Thiemann · March 22, 2026 · 1h 7m
• 78: Jamie Willis · March 8, 2026 · 43 min
• 77: Franz Thoma · February 22, 2026 · 58 min
• 76: Jeffrey Young · January 25, 2026 · 1h 4m

Explore listener stats, chart rankings, contacts and more on the The Haskell Interlude podcast page.