5月12日-5月18日，英國皇家工程院院士、約克大學James Woodcock教授來校訪問。5月16日下午，副校長陳時見帶領人事處、計算機與信息科學學院/軟件學院等相關單位負責人與James Woodcock教授交流座談。座談會由計算機與信息科學學院/軟件學院院長肖國強主持。

James Woodcock教授此次來訪，是為參加劉志明教授組織的研討會，以加強雙方學術互信，推進后續(xù)合作，進一步商談聘任相關細節(jié)，并商討雙方共建國際合作聯(lián)合實驗室的具體規(guī)劃。

會上，肖國強院長詳細介紹了共建國際合作聯(lián)合實驗室的初衷和遠景，即通過共建西南大學與英國約克大學國際合作聯(lián)合實驗室，申請教育部國際合作聯(lián)合實驗室，完成“111”引智基地的目標。James Woodcock教授談到，科學研究是國際合作的一個重要方面，希望與西南大學在科學研究、學生交流、項目合作等方面加強合作，以促進相關國際交流與合作。

陳時見副校長代表學校對James Woodcock教授來訪表示熱烈歡迎，簡要介紹了學校傳統(tǒng)優(yōu)勢學科，并重點交流了信息學科的新興優(yōu)勢，希望學院從高起點、國際化、可持續(xù)和示范帶頭作用等方面細化國際合作聯(lián)合實驗室的建設方案。陳校長表示，James Woodcock教授的加盟，有望促進計算機與信息科學學院的學科建設、科學研究、人才培養(yǎng)和國際化建設上一個新的臺階。

據(jù)悉，James Woodcock教授是英國皇家工程院院士、國際著名的軟件理論與方法領域科學家，約克大學計算機科學系教授，所領導的團隊在可信軟件理論和方法領域具有國際先進水平，近日開拓了機器人系統(tǒng)建模、設計和驗證的新領域，并取得了良好效果。具有豐富的國際合作資源，同時在中國計算機界知名度高。

（計算機與信息科學學院/軟件學院供稿供圖 編輯 韓笑 審核 周翱）