Type Theory Forall

Type Theory much beyond inference rules

Episode image

#37 Compilers, Staging, Futamura Projections

Guannan Wei

Apr 11th 2024   |  113 min

In this episode we talk with Guannan Wei, from Purdue University. Guannan finished his PhD last year under Tiark Rompf, and is currently doing his Post-Doc with Tiark. Guannan has worked on a plethora of different compilers topics, and in this conversation we will talk about Staging, Futamura Projections, Symbolic Execution, Compiler Applications in Smart Contracts and Quantum Programming. Towards the end of the episode we also talk about his application experiences for the position of a Professorship in the US an a few other contries.


join our discord