莱斯利·兰伯特博士
人工智能学术交流座谈会
在桂林学院举办

　　本报讯（记者刘健 通讯员秦宇彤）11月13日，美国国家科学院院士、美国国家工程院院士、原微软公司首席科学家、顾问莱斯利·兰伯特博士受邀到桂林学院开展以“分布式计算、形式化方法与人工智能的未来”为主题的人工智能学术交流座谈会，从产学研深度融合的角度，为区域数字经济发展注入新动力。
　　莱斯利·兰伯特博士是分布式系统领域的奠基者，2013年图灵奖获得者，他提出的逻辑时钟、Paxos算法等开创性理论，为现代计算机科学奠定了坚实基础。此外，由莱斯利·兰伯特博士开发的LaTeX文档排版系统，至今仍在全球学术界发挥着重要作用，其创造的TLA+形式化规约语言，让复杂软件和硬件系统的设计与验证达到了全新高度。
　　据悉，本次座谈会由桂林市贸促会（桂林国际商会）和桂林学院共同举办，在人工智能技术飞速发展的背景下显得尤为可贵。交流中，莱斯利·兰伯特博士作主题分享，详细讲述了本人的学术发展方向、思路。参与座谈会的高校师生、企业技术人员围绕“人工智能领域的学术前沿与人才培养”与莱斯利·兰伯特博士展开互动交流，从大语言模型在形式化验证中的潜力到AI系统的可解释性与安全性，再到人才培养中关于课程设置与底层理解的权衡进行深入探讨。
　　桂林电子科技大学、桂林理工大学、广西师范大学等高校的教师代表，桂林市贸促会、桂林国际商会、桂林南药股份有限公司、溢达集团、桂林智神信息技术股份有限公司等企业相关负责人参加座谈。