undefined

Dan Plukin

Researcher whose work has been presented at UC Santa Cruz. Known for contributions to type theory and related fields.

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app