75: Kathrin Stark

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.

You can listen to 75: Kathrin Stark online on Radio and Podcast. Open the player on this page to stream the available audio.

75: Kathrin Stark is an episode from The Haskell Interlude by Haskell Podcast.

This episode is 51:17 long.

This episode was published on Jan 11, 2026.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from The Haskell Interlude when more episodes are available from the podcast feed.