ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "10: Nadia Polikarpova"
Episode Synopsis
Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.
More episodes of the podcast The Haskell Interlude
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
64: Sandy Maguire
23/04/2025
In God we trust