8月5日下午,，由中國計算機學會（CCF）主辦,，CCF系統軟件專委會、榆林市工業(yè)和信息化局、西安交通大學,、榆林學院、榆林市工業(yè)互聯網協會承辦的“CCF系統軟件專委走進榆林學院”學術研討活動在榆林學院逸夫樓一樓會議室召開,。會議由南京大學軟件學院副院長,、CCF系統軟件專委秘書長卜磊教授主持。

本次活動邀請了西安交通大學網絡空間安全學院副院長劉烴教授,，南京大學計算機學院教授,、博士生導師、國家級人才計劃入選者,、ACM杰出會員,、CCF系統軟件專委副主任許暢教授，大連理工大學人工智能大連研究院院長,、全國編譯技術虛擬教研室副主任委員江賀教授,，浙江大學長聘教授/求是特聘教授、博士生導師,、國家“萬人計劃”青年拔尖人才和科技創(chuàng)新領軍人才吳爭光教授等多位專家學者開展學術講座,。榆林市數據局副局長劉斌，西安交通大學特聘研究員/博導,、榆林市工業(yè)和信息化局副局長黃晶晶,，華東理工大學教授、博士生導師和望利,，哈爾濱工業(yè)大學（深圳校區(qū)）計算機科學與技術學院教授,、博導、哈工大青年拔尖人才高翠蕓出席會議,。

信息工程學院院長張峰在致辭中對各位專家的到來表示歡迎,，向多年來支持和幫助我校發(fā)展建設的CCF專委會、各位專家,、各位朋友致以衷心的感謝,！他表示，本次學術活動搭建了一個難得的交流研討平臺,，通過各位專家共同探討計算機學科未來的發(fā)展方向,，分享研究成果，交流學術思想,，對于學院師生了解學術前沿,、營造學術氛圍、提升科研視野,、啟發(fā)科研思維具有重要意義,，期待未來能夠和CCF系統軟件專委會和雙一流高校的各位專家進一步深化交流合作。以深度學習為代表的人工智能與大數據技術已給眾多領域帶來巨大的變革，而隨著大語言模型技術的不斷發(fā)展,，人工智能系統的性能也得到了顯著提高,。人工智能領域的研究也從語音、文字,、視覺等單模態(tài)智能,，向著多種模態(tài)融合發(fā)展。多模態(tài)智能信息處理作為一種新興的研究領域,，正在引起越來越多的關注,。希望各位專家學者常來榆林學院考察交流與項目合作，對計算機相關學科的建設傳經送寶,、領航指路,，共同助力學科迭代和榆林產業(yè)升級。希望“CCF走進高?！钡奈磥砀雨P注邊遠地區(qū),、培養(yǎng)更多的青年教師加入活動中來。

會上,，許暢教授以“約束檢測：邁向萬物互聯的一致性”為題,，以一致性、約束檢測和軟件測試的一般知識（模型,、思想和應用等）,，分析其中的發(fā)展歷程和新的挑戰(zhàn)，介紹了關于用約束檢測實現一致性的科普報告,。

江賀教授以“新AI時代的編譯系統研究”為題,，討論AI4Compiler，探討人工智能為解決編譯系統發(fā)展帶來的新機會和研究問題,，從Compiler4AI的視角,，探討編譯系統為人工智能發(fā)展提供的技術支撐。

吳爭光教授以“Asynchronous Control and Filtering of Markov Jump Systems”為題,，介紹了馬爾可夫跳躍系統的異步控制和濾波問題。

CCF系統軟件專委秘書長卜磊教授總結講話中表示,，本次“CCF系統軟件專委會走進榆林學院”活動為學院師生提供了與學術界相關領域專家面對面交流的寶貴機會,，活動緊貼相關領域專業(yè)學術前沿，開拓了參會師生的學術視野,，增加了對相關領域最新研究動態(tài)的認識,，對學院科研工作和人才培養(yǎng)發(fā)揮了積極的推動作用。參會師生紛紛表示,，這次學習交流機會難得,，收獲很大，對CCF系統軟件專委會這一學術團體有了更深的認識和了解,，希望能夠多參加CCF走進高?；顒?，開闊視野，提升能力,。