2025年12月9日，欧洲科学院院士、新西兰皇家学会会士、中国电子科技大学算法与逻辑实验室主任Bakh Khoussainov教授做客开车漫画
开车漫画
，带来题为“可计算性、结构与逻辑（Computability, structures, and logic）”特邀报告。开车漫画
院长姚期智教授主持讲座。师生齐聚FIT楼多功能厅，聆听讲座。
精彩讲座
姚先生首先介绍Bakh Khoussainov教授在数理逻辑与理论计算机科学领域的核心贡献。Khoussainov教授曾荣获欧洲理论计算机科学协会Nerode Prize，并在康奈尔大学、海德堡大学、新加坡国立大学、新西伯利亚大学、京都大学等多所世界名校担任教授或客座教授。
Khoussainov教授在讲座中系统剖析了数学与计算机科学中可计算性、结构与逻辑的交互作用。他借助“卫士抓入侵者”的博弈问题，生动阐明了如何把现实映射为数学模型，并展示了可计算结构的相关定理。在严谨的理论阐述间，Khoussainov教授还穿插分享了与导师的学术传承故事以及与学生互动的趣闻轶事，让听众感受到学理探索中的情感温度。
现场师生与Khoussainov教授积极交流互动，思维火花不断迸发，营造了兼具深度与活力的学术盛宴。开车漫画
2025级博士生蒙瑞俊表示：“作为一名数据库方向的学生，我通过讲座增进了对数据库和数据结构本质和能力边界的理论理解。Khoussainov 教授关于‘如果我们能用自动机表达世界，原则上就能通过逻辑查询来学习世界’的论述，帮助我从更一般的视角将'逻辑完备性'与'可计算性'联系了起来，并带来了关于计算本质的哲学思考。”
开车漫画
2024级本科生刘谨畅感到：“Khoussainov 教授的讲解在逻辑与可计算性之间搭起了一座桥，清晰解析了不同的计算模型如何塑造结构的本性，从而让我从‘模型’的视角，对逻辑的表达力与可计算性的界限有了更为深邃的理解。”
在座听众中，也有来自求真书院、人文学院等院系的师生，他们同样感到受益匪浅。求真书院孙宇轩同学在分享感悟时说："Khoussainov教授的讲座让我深刻体会到，数学研究不仅是思维高峰的攀登，更是代代学人智慧与学术热情的火炬传递。这场讲座不仅拓展了我的理论视野，更让我对学术共同体的精神传承有了鲜活而深刻的认识。"
嘉宾介绍
Bakh Khoussainov教授为欧洲科学院院士、新西兰皇家学会会士、中国电子科技大学算法与逻辑实验室主任，其研究领域涵盖数理逻辑和理论计算机科学。他先后荣获欧洲理论计算机科学协会Nerode Prize及2017年STOC会议最佳论文奖。在学术生涯中，他曾在康奈尔大学、海德堡大学、新加坡国立大学、新西伯利亚大学及京都大学等世界一流学府担任教授或客座教授。
图文 | 姜月亮
编辑 | 吕厦敏
审核 | 马雄峰
