11月13日，2013年图灵奖获得者、美国国家工程院院士、分布式系统与形式化方法奠基人莱斯利·兰伯特（Leslie Lamport）博士应邀访问桂林学院，围绕“分布式计算、形式化方法与人工智能的未来”主题，与我校师生及桂林地区高校、企业代表开展高水平学术交流。本次活动由桂林学院主办，吸引了来自桂林电子科技大学、广西师范大学、桂林理工大学等高校的专家学者，以及桂林市贸促会、桂林国际商会和多家本地科技企业的技术骨干共同参与。

座谈会由副校长杨庆庆主持。她代表学校对兰伯特博士的到访表示热烈欢迎，并简要介绍了其在计算机科学领域的开创性贡献。

校长吴郭泉在致辞中指出，兰伯特博士提出的逻辑时钟、Paxos共识算法等成果，是现代互联网、云计算和分布式系统的技术基石；其开发的LaTeX排版系统更是全球科研工作者广泛使用的标准工具。他表示，兰伯特博士强调严谨逻辑与系统思维的研究理念，与我校培养“理论扎实、实践能力强、具备系统工程素养”的高素质应用型人才目标高度契合。此次交流将为我校信息技术类专业建设、课程改革与科研方向凝练注入重要动力。

在主题分享环节，兰伯特博士回顾了自己进入计算机科学领域的历程，并重点介绍了其创立的TLA+形式化规约语言。他强调，在构建复杂系统（包括人工智能系统）之前，应通过数学化的形式化方法进行精确建模与验证，以从源头保障系统的正确性与可靠性。他将抽象理论转化为清晰的工程哲学，引导听众深入理解“用数学思维指导软件设计”的核心价值。

在互动问答环节，现场师生踊跃提问，围绕大语言模型能否辅助形式化验证、AI系统的可解释性与安全性、应用型高校如何融入形式化方法教学、复杂问题的分解策略等议题展开深入探讨。兰伯特博士一一耐心解答，其睿智、谦和且富有启发性的回应赢得阵阵掌声。

本次学术交流活动是桂林学院拓展国际学术视野、营造浓厚科研育人氛围的重要举措。作为地方应用型本科高校，学校将持续推动前沿学术成果融入教育教学全过程，深化产教融合与科教融汇，不断提升高素质应用型人才培养质量，为服务区域数字经济与高质量发展贡献桂院力量。

交流会现场

杨庆庆副校长主持交流会

吴郭泉校长致辞

兰伯特博士做主题分享

与会师生与兰伯特博士进行交流

与会嘉宾及师生合影