84: Sylvain Henry
Jun 29, 2026 - 51:35
Radio and PodcastLive Radio & PodcastsTechnology
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&ap...
About This Episode
75: Kathrin Stark is an episode from The Haskell Interlude by Haskell Podcast. 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...
Podcast
This episode belongs to The Haskell Interlude.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Jan 11, 2026, 51:17 long, audio available.
Related Episodes
Continue listening to more episodes from The Haskell Interlude.
83: POPL 2026 - Part 2
Jun 14, 2026 - 44:53
82: Fraser Tweedale
May 19, 2026 - 48:31
81: Torsten Grust
Apr 27, 2026 - 70:44
80: POPL 2026 - Part 1
Apr 13, 2026 - 42:56
79: Peter Thiemann
Mar 22, 2026 - 66:35
78: Jamie Willis
Mar 8, 2026 - 43:25
77: Franz Thoma
Feb 22, 2026 - 57:51