People of Interest

A list of people who seem interesting and might be good guests.

Professors/Instructors

University of Minnesota

• Antonia Zhai - Compiler design
• Eric Van Wyk - Extensible languages/compilers
• Stephen McCamant - Program analysis for security
• Gopalan Nadathur - λProlog
• Mats Heimdahl - Model-based programming
• Favonia - Homotopy Type Theory, Agda - Contacted by alex.d.berg1 about LambdaConf '19, contact about podcast later.