11月13日，2013年图灵奖获得者、美国国家工程院院士、分布式系统与形式化方法奠基人莱斯利·兰伯特（Leslie Lamport）博士应邀访问学校，围绕“分布式计算、形式化方法与人工智能的未来”主题，与学校师生及桂林地区高校、企业代表开展高水平学术交流。本次活动由学校主办，吸引了来自桂林电子科技大学、广西师范大学、桂林理工大学等高校的专家学者，以及桂林市贸促会、桂林国际商会和多家本地科技企业的技术骨干共同参与。座谈会由副校长杨庆庆主持。
交流座谈会现场
校长吴郭泉为此次座谈会致辞。他指出，兰伯特博士提出的逻辑时钟、Paxos共识算法等成果，是现代互联网、云计算和分布式系统的技术基石，其开发的LaTeX排版系统更是全球科研工作者广泛使用的标准工具。吴郭泉表示，兰伯特博士强调严谨逻辑与系统思维的研究理念，与学校培养“理论扎实、实践能力强、具备系统工程素养”的高素质应用型人才目标高度契合。此次交流将为学校信息技术类专业建设、课程改革与科研方向凝练注入重要动力。
吴郭泉在座谈会上讲话
兰伯特博士做主题分享
座谈交流中，兰伯特博士回顾了自己进入计算机科学领域的历程，并重点介绍了其创立的TLA+形式化规约语言。他强调，在构建复杂系统（包括人工智能系统）之前，应通过数学化的形式化方法进行精确建模与验证，以从源头保障系统的正确性与可靠性。兰伯特博士将抽象理论转化为清晰的工程哲学，引导听众深入理解“用数学思维指导软件设计”的核心价值。现场师生踊跃提问，围绕大语言模型能否辅助形式化验证、AI系统的可解释性与安全性、应用型高校如何融入形式化方法教学、复杂问题的分解策略等议题展开深入探讨。兰伯特博士一一耐心解答，其睿智、谦和且富有启发性的回应赢得阵阵掌声。
与会师生与兰伯特博士进行交流
本次学术交流活动是学校拓展国际学术视野、营造浓厚科研育人氛围的重要举措。作为地方应用型本科高校，学校将持续推动前沿学术成果融入教育教学全过程，深化产教融合与科教融汇，不断提升高素质应用型人才培养质量，为服务区域数字经济与高质量发展贡献力量。
