BIMSA > Fundamentals of Programming Language
Fundamentals of Programming Language
本课程介绍程序语言的基本理论（λ-演算，类型系统等）及其在实际程序语言中的应用。本课程还介绍该领域的发展趋势。
Lecturer
Hanru Jiang
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 is an Associate Researcher at BIMSA. He received his Ph.D. in Computer Science and Technology from the University of Science and Technology of China in 2019. From 2019 to 2020, he was an Assistant Researcher at the Quantum Computing Research Center, Peng Cheng Laboratory. His research interests lie in programming language theory, formal verification of compilers, and programming language issues in quantum computing. His work has been published in premier venues such as PLDI, CAV, and OOPSLA. He was a recipient of the PLDI 2019 Distinguished Paper Award.