75: Kathrin Stark

The Haskell Interlude by Haskell Podcast

Jan 11, 202651:17Technology

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...

Related Episodes

Continue listening to more episodes from The Haskell Interlude.

86: Michael Hanus

Sep 11, 2026 - 53:59

In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is...

85: Brent Yorgey

Aug 26, 2026 - 59:47

In today’s episode, we’re joined by Brent Yorgey, Associate Professor of Computer Science at Hendrix Coll...

84: Sylvain Henry

Jun 29, 2026 - 51:35

In this episode of the Haskell Interlude, we are joined by Sylvain Henry, one of the all-time top contrib...

83: POPL 2026 - Part 2

Jun 14, 2026 - 44:53

This is the first part of a miniseries on this year’s Symposium on Principles of Programming Languages, a...

82: Fraser Tweedale

May 19, 2026 - 48:31

We talked to Fraser Tweedale. Fraser works at Red Hat, and is on the Haskell Security Response Team. We t...

81: Torsten Grust

Apr 27, 2026 - 70:44

Mike and Andres sat down with Torsten Grust, who is a professor of DB systems at the University of Tübing...

80: POPL 2026 - Part 1

Apr 13, 2026 - 42:56

This is the first part of a miniseries on this year’s Symposium on Principles of Programming Languages, a...

79: Peter Thiemann

Mar 22, 2026 - 66:35

Peter is a professor at the University of Freiburg, and he was doing functional programming right when Ha...