罗朝晖，现为伦敦大学皇家霍洛威学院计算机系教授，曾就读于国防科技大学，于1990年在英国爱丁堡大学获博士学位，之后在爱丁堡大学、杜伦大学和伦敦大学就职，毕其一生精力研究现代类型论及其应用，是该领域的学术带头人之一，取得了卓越的研究成果，原创作品包括研究统一类型论的《计算与推理》(1994年由牛津大学出版社出版)、研究自然语言语义学的《基于现代类型论的形式语义学》(2020年由Wiley出版社出版)以及中文专著《现代类型论的发展与应用》（2024年由清华大学出版社出版）。

讲座摘要：

本报告介绍由Martin-Löf等研究发展的现代类型论，简要讨论其发展历史、基本构成、元理论及应用（有关的中文介绍，见报告人所著、由清华2024年出版的《现代类型论的发展与应用》一书）。关于现代类型论的应用，报告重点介绍现代类型论为基础的自然语言语义学，它近期内发展迅速并日趋成熟，与传统的蒙太古语义学相比颇具优势，前景可观。若时间允许，报告还会简略地讨论现代类型论在数学基础、形式化推理以及计算机交互式定理证明等相关领域的应用。

讲座时间：

2025年12月10日 (周三) 16:20

讲座地点：

宾诺咖啡

主办单位：

人文社科高等研究院

报名二维码：