2019年3月7日下午姚發(fā)明副校長(zhǎng)一行專程到kaiyun開云官方網(wǎng)站看望國(guó)家有突出貢獻(xiàn)的專家徐楊教授，并聽取了系統(tǒng)可信性自動(dòng)驗(yàn)證國(guó)家地方聯(lián)合工程實(shí)驗(yàn)室的發(fā)展情況的匯報(bào)。

    在徐楊教授、楊晗常務(wù)副院長(zhǎng)、李志輝副院長(zhǎng)兼專職副主任的陪同下，姚校長(zhǎng)首先檢查了實(shí)驗(yàn)室場(chǎng)地設(shè)施和設(shè)備運(yùn)行情況，與各位教師和研究生們熱情交流，并仔細(xì)詢問大家參加國(guó)際交流合作歸來的體會(huì)與感受、對(duì)目前工作學(xué)習(xí)條件的意見和建議；隨后，姚校長(zhǎng)聽取了徐楊教授關(guān)于研究進(jìn)展、成果成效、近期努力目標(biāo)以及團(tuán)隊(duì)建設(shè)困難的匯報(bào)。期間，姚校長(zhǎng)與徐教授等熱烈交流，詢問了kaiyun開云官方網(wǎng)站與全國(guó)其他高校領(lǐng)軍專家的交流合作情況，提供了很多人才引進(jìn)政策解讀和近期國(guó)家和學(xué)校重大學(xué)術(shù)交流信息，常務(wù)副院長(zhǎng)楊晗教授向姚副校長(zhǎng)簡(jiǎn)要匯報(bào)了學(xué)院師資隊(duì)伍現(xiàn)狀、人才梯隊(duì)建設(shè)思路和支持保障國(guó)地實(shí)驗(yàn)室發(fā)展的舉措。

    匯報(bào)結(jié)束后，姚校長(zhǎng)做了總結(jié)講話。他高度評(píng)價(jià)了徐揚(yáng)教授團(tuán)隊(duì)在學(xué)科建設(shè)尤其是系統(tǒng)可信性自動(dòng)驗(yàn)證領(lǐng)域包括理論、方法、算法、程序、系統(tǒng)工具、工程應(yīng)用等方面取得的成績(jī)，表示此次來訪，他是代表學(xué)校黨委和行政對(duì)徐楊教授表示慰問，今后在個(gè)人生活、團(tuán)隊(duì)建設(shè)、成果凝練、應(yīng)用推廣等方面如果遇到的困難都可以提出來。姚校長(zhǎng)指出，徐教授從事的人工智能基礎(chǔ)應(yīng)用研究有鮮明的獨(dú)特性，是基礎(chǔ)理論研究與工程應(yīng)用研究結(jié)合的典型范式，是解決我國(guó)當(dāng)今科技“被卡脖子”問題的重點(diǎn)前沿研究領(lǐng)域，對(duì)國(guó)家科技發(fā)展具有重要戰(zhàn)略的意義。在已經(jīng)取得基礎(chǔ)研究和應(yīng)用研究創(chuàng)新與突破的基礎(chǔ)上，要敢于勝利，可以做好集成創(chuàng)新，抓住高鐵走出去、川藏鐵路規(guī)劃建設(shè)契機(jī)，爭(zhēng)取拿金獎(jiǎng)、拿專項(xiàng)科技大獎(jiǎng)，為國(guó)家發(fā)展和學(xué)校的振興升位做出更大的貢獻(xiàn)。學(xué)校從各個(gè)角度來說，沒有理由不重點(diǎn)支持這項(xiàng)工作。這不是徐教授個(gè)人的事，這是kaiyun開云官方網(wǎng)站負(fù)有學(xué)科建設(shè)的事、是學(xué)校地位提升的事，也是國(guó)家戰(zhàn)略發(fā)展的事。kaiyun開云官方網(wǎng)站黨政班子要作為重中之重，與科研院集中籌劃，組織團(tuán)隊(duì)整體推進(jìn)。作為學(xué)校層面，支持徐教授團(tuán)隊(duì)在人工智能研究院下設(shè)一個(gè)研究中心，充分利用好多學(xué)科交叉融合、學(xué)者密切溝通的優(yōu)勢(shì)，在交通、國(guó)防等方面做些有影響的成果和應(yīng)用技術(shù)；同時(shí)利用好人工智能研究院的政策特區(qū)，解決好發(fā)展中遇到的人員場(chǎng)地等方面的瓶頸問題。最后姚校長(zhǎng)囑托，要做好應(yīng)用成果功能作用在一定范圍內(nèi)的宣傳，擴(kuò)大知名度的同時(shí)爭(zhēng)取更大的發(fā)展助力，也擴(kuò)大學(xué)校的影響；要充分利用好學(xué)校引進(jìn)人才方面的新政策，充實(shí)人員和隊(duì)伍，把團(tuán)隊(duì)做大做強(qiáng)。