Search

Home > The Haskell Interlude > 10: Nadia Polikarpova
Podcast: The Haskell Interlude
Episode:

10: Nadia Polikarpova
Category: Technology
Duration: 00:56:14
Publish Date: 2022-03-05 21:00:00
Description:

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.
Total Play: 0