Your Hosts

Jon

Jon is a PhD student at Carnegie Mellon University studying type theory and categorical logic, and is also the creator of the RedPRL proof assistant.

Darin

Darin is a former grad student who studied dependent type theory and programming languages at the University of Nottingham.

David

David is a postdoc at Indiana University. He is a contributor to the Idris and Pudding projects.