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