Вміст надано Pedro Abreu. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Pedro Abreu або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

Type Theory Forall « »
#37 Compilers, Staging, Futamura Projections - Guannan Wei

6M ago 1:53:20

Поширити

MP3•Головна епізоду

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

81 епізодів

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

כל הפרקים

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

Слухайте шоу на 500+ тем

Схожі до Type Theory Forall

Подкасти, які варто послухати

Type Theory Forall « » #37 Compilers, Staging, Futamura Projections - Guannan Wei

Links

#37 Compilers, Staging, Futamura Projections - Guannan Wei

Links

Подкасти, які варто послухати

Ласкаво просимо до Player FM!

Схожі до Type Theory Forall

Короткий довідник

Type Theory Forall « »
#37 Compilers, Staging, Futamura Projections - Guannan Wei