2023年10月30日下午，应张苗苗研究员的邀请，西南大学刘志明教授到访软件学院，在济事楼417会议室开展题为“数理逻辑是计算机科学与系统的天然基础”的学术报告。本次讲坛由张苗苗研究员主持。
刘志明教授分享了个人回国几年讲授数理逻辑的一些经验，以及研究生招生与培养中的一些感受，讨论了数理逻辑和程序逻辑的基本概念和思想，并揭示计算机科学和系统的天然基础即数理逻辑。他希望以此讨论在一定程度上引起大家重视计算机科学理论基础的教育和学习。刘教授还与在场师生展开交流和讨论。
刘志明教授是国家特聘专家，西南大学教授、博士生导师，西南大学讲席教授和软件研究与创新中心（RISE）主任。主要研究方向为软件基础理论、可信软件方法、基于人机融合系统的计算与人工智能的综合理论以及软件架构。
本次讲坛是软件学院图灵讲坛第52期。图灵讲坛是同济大学软件学院设立的高端系列讲座，不定期邀请国内外知名学者作前沿技术特邀报告，营造软件学院学术生态环境。
（软件工程理论与平台教研室供稿）
