ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "75: Kathrin Stark"
Episode Synopsis
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 podcast The Haskell Interlude
74: Lennart Augustsson
19/12/2025
73: Jean-Philippe Bernardy
13/11/2025
72: Manuel Chakravarty
30/10/2025
71: Stefan Wehr
16/10/2025
70: Phil Wadler
14/09/2025
69: Jurriaan Hage
25/08/2025
68: Michael Snoyman
12/08/2025
67: Alex McLean
07/07/2025
66: Daniele Micciancio
24/06/2025
65: Andy Gordon
30/05/2025
In God we trust