#37 Compilers, Staging, Futamura Projections - Guannan Wei

Type Theory Forall

• Episode: #37 Compilers, Staging, Futamura Projections - Guannan Wei
• Website: Type Theory Forall
• Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
• Duration: 01:53:20
• Published: 2024-03-11 19:30

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.

Links

• Guannan's Website
• @guannanwei on X