2024年5月13日上午，西南交通大学系统可信性自动验证国家地方联合工程实验室（以下简称“国地实验室”）在犀浦校区3号教学楼31524会议室举行聘任仪式，正式聘任阿尔斯特大学（Ulster University）计算机系系主任Chris Nugent教授为国地实验室技术委员会副主任、人工智能研究中心主任刘军教授为国地实验室技术委员会委员。数学学院院长兼国地实验室主任杨晗向他们颁发了聘书。
聘任仪式之前，我校计算机与人工智能学院、数学学院联合与Chris Nugent教授、刘军教授、Moore博士一行人进行了座谈交流。阿尔斯特大学为英国综合排名前三十的高校，其计算机学科排名第九。Chris Nugent教授介绍了阿尔斯特大学的总体情况，包括学校地理位置、校区介绍、专业设置等，并对该校计算机系的机构设置、研究团队以及人工智能研究中心、计算研究中心的建设情况进行了详细的介绍。计算机与人工智能学院和数学学院相关领导也介绍了学院发展和科研团队、人才培养等情况；李志辉副院长兼国地实验室专职副主任围绕平台建设背景、平台架构、人才团队等内容详细介绍了国地实验室的建设情况。双方就加强科研合作、人员交流、共建国地实验室等议题进行了热烈研讨。计算机与人工智能学院党委书记兼国地实验室副主任李天瑞、副院长龚勋、院长助理王红军、数学学院副院长潘小东、院长助理孟华、院长助理黄磊等参加了本次会议。计算机与人工智能学院院长助理邢焕来主持了座谈交流。
座谈及聘任仪式之后，Chris Nugent教授一行参观了部分实验室。
