2024年5月13日上午，kaiyun開云官方網(wǎng)站系統(tǒng)可信性自動驗(yàn)證國家地方聯(lián)合工程實(shí)驗(yàn)室（以下簡稱“國地實(shí)驗(yàn)室”）在犀浦校區(qū)3號教學(xué)樓31524會議室舉行聘任儀式，正式聘任阿爾斯特大學(xué)（Ulster University）計(jì)算機(jī)系系主任Chris Nugent教授為國地實(shí)驗(yàn)室技術(shù)委員會副主任、人工智能研究中心主任劉軍教授為國地實(shí)驗(yàn)室技術(shù)委員會委員。kaiyun開云官方網(wǎng)站院長兼國地實(shí)驗(yàn)室主任楊晗向他們頒發(fā)了聘書。
聘任儀式之前，開云計(jì)算機(jī)與人工智能學(xué)院、kaiyun開云官方網(wǎng)站聯(lián)合與Chris Nugent教授、劉軍教授、Moore博士一行人進(jìn)行了座談交流。阿爾斯特大學(xué)為英國綜合排名前三十的高校，其計(jì)算機(jī)學(xué)科排名第九。Chris Nugent教授介紹了阿爾斯特大學(xué)的總體情況，包括學(xué)校地理位置、校區(qū)介紹、專業(yè)設(shè)置等，并對該校計(jì)算機(jī)系的機(jī)構(gòu)設(shè)置、研究團(tuán)隊(duì)以及人工智能研究中心、計(jì)算研究中心的建設(shè)情況進(jìn)行了詳細(xì)的介紹。計(jì)算機(jī)與人工智能學(xué)院和kaiyun開云官方網(wǎng)站相關(guān)領(lǐng)導(dǎo)也介紹了學(xué)院發(fā)展和科研團(tuán)隊(duì)、人才培養(yǎng)等情況；李志輝副院長兼國地實(shí)驗(yàn)室專職副主任圍繞平臺建設(shè)背景、平臺架構(gòu)、人才團(tuán)隊(duì)等內(nèi)容詳細(xì)介紹了國地實(shí)驗(yàn)室的建設(shè)情況。雙方就加強(qiáng)科研合作、人員交流、共建國地實(shí)驗(yàn)室等議題進(jìn)行了熱烈研討。計(jì)算機(jī)與人工智能學(xué)院黨委書記兼國地實(shí)驗(yàn)室副主任李天瑞、副院長龔勛、院長助理王紅軍、kaiyun開云官方網(wǎng)站副院長潘小東、院長助理孟華、院長助理黃磊等參加了本次會議。計(jì)算機(jī)與人工智能學(xué)院院長助理邢煥來主持了座談交流。
座談及聘任儀式之后，Chris Nugent教授一行參觀了部分實(shí)驗(yàn)室。
