报告题目：谈计算、数理逻辑和程序设计

报告人：刘志明

单位：西南大学

报告时间：2024年7月13日(周六)上午10:30-11:15

报告地点：翡翠科教楼A座二楼报告厅

报告摘要：讨论数理逻辑，计算理论和程序语言的基本概念和思想，揭示数理逻辑对计算机科学和系统的天然基础性，说明（经典）数理逻辑，计算模型和程序语言的统一性，浅谈深度学习的人工智能与基于演绎逻辑的计算与软件的区别和深度学习的能力范围。

报告人简介：刘志明，西南大学教授、博士生导师、软件理论与系统团队负责人、软件研究与创新中心（RISE）主任。1988年在中科院软件所获得硕士学位，1988年从中科院软件所获硕士学位，1991年从英国华威（Warwick）大学获计算机科学博士学位。1988年-2015年曾在英国华威（Warwick）大学、莱斯特（Leicester）大学，和联合国大学国际软件技术研究所（UNU-IIST, Macao）工作。2016年全职回国，在西南大学任教，2021年至2022年在西北工业大学但任教授。主要研究方向为软件基础理论、可信软件方法、基于人机融合系统的计算与人工智能的综合理论以及软件架构。主要代表性学术成果有基于模型转换的容错和实时程序设计方法；用于系统可靠性分析的概率时段演算；面向对象程序语义和精化理论；形式化模型驱动软件开发方法rCOS；人机物融合系统软件体系架构建模理论与方法。刘志明是英国计算机学会（BCS）会士、中国计算机学会（CCF）杰出会员，ACM高级会员。