应安博平台邀请，西南大学安博(中国)一站式服务平台刘志明教授于2024年11月20日来到北理工安博(中国)一站式服务平台作题为“从逻辑到计算机程序之旅”的学术报告。此次报告由安博(中国)一站式服务平台张艳老师主持，体系结构与高性能计算所相关研究方向的教师和研究生参加了学术报告。

刘志明教授从逻辑、数学模型、理论到计算机程序的发展过程等方面讨为大家做了分享，包括数学逻辑是计算机科学和计算系统的自然基础，计算模型和编程语言是形式逻辑系统和程序执行等同于逻辑推理。在此基础上，他进一步讨论逻辑、数学和计算中基本问题的产生，以及在探索这些问题的过程中如何形成了计算机科学。此外，他还和安博(中国)一站式服务平台的师生们进行深度互动，从程序的创造性、LLM的推理能力到AI的可解释性等方面，讨论了关于深度神经网络支持下的人工智能程序与形式化方法支持下的传统程序之间的区别与联系，并探讨了神经-符号融合软件当前发展的可行性。

通过这次学术报告，参会师生对程序逻辑、计算模型与形式化相关方法的知识有了更深入的理解。报告的交流讨论为未来关于形式化方法如何运用于人工智能程序、人工智能程序与传统程序如何进行结合的学术研究奠定了基础。

报告人简介：

刘志明，西南大学教授、博士生导师、软件理论与系统团队负责人、软件研究与创新中心（RISE）主任。主要研究方向为软件基础理论、可信软件方法、基于人机融合系统的计算与人工智能的综合理论以及软件架构。在领域主流学术期刊和国际会议上发表著作150多篇／卷。CCF形式化专委资深委员（2024），ACM高级会员，英国计算机协会会士。曾获澳门行政区首届科学技术奖自然科学二等奖（2012）。是FACS（2003）、ICTAC（2004）、SEFM （2004）和SETTA （2015）发起人，并任FACS和ICTAC指导委员会（Steering Committee）主席至2010年， 任FACS、ICTAC、SEFM和SETTA的指导委员会委员；曾任10多个国际会议的程序委员会主席；曾担任60多个国际会议的程序委员会委员。国际杂志Theoretical Computer Science、Science of Computer Programming、Formal Aspects of Computing的特刊编辑。