Fundamentals of Programming Language
本课程介绍程序语言的基本理论(λ-演算,类型系统等)及其在实际程序语言中的应用。本课程还介绍该领域的发展趋势。
Lecturer
Date
14th September ~ 2nd December, 2021
Prerequisite
离散数学
Reference
Benjamin C. Pierce. Types and Programming Languages.
Video Public
No
Notes Public
No
Lecturer Intro
Hanru Jiang obtained a Ph.D. in computer science and technology from the University of Science and Technology of China in 2019. From 2019 to 2020, he worked as an assistant research fellow at the Quantum Computing Research Center of Pengcheng Laboratory. In 2020, he joined BIMSA as an assistant professor. His main research directions are programming language theory, compiler verification, and programming language aspects in quantum computing. As the main contributor to the concurrent program separation compilation verification work CASCompCert, won the Distinguished Paper Award of PLDI 2019, a top conference in the field of programming languages.