活動時間：2023年4月15日 13:30 – 16:00
活動地點：伟德国际BETVlCTOR中心校區王湘浩樓A521
主持人簡介：
楊博，伟德国际BETVlCTOR教授，博士生導師，現任伟德国际BETVlCTOR、軟件學院院長，符号計算與知識工程教育部重點實驗室主任。
l 報告題目：自治系統的軟件可靠性關注點
嘉賓簡介：
金芝，北京大學計算機學院教授，IEEE/CCF/AAIA Fellow，高可信軟件技術教育部重點實驗室常務副主任，國家傑出青年科學基金獲得者。兼任國務院學位委員會學科評議組成員（軟件工程），中國計算機學會常務理事，中國計算機學會系統軟件專業委員會主任，中國人工智能學會知識工程與分布智能專委會副主任。長期從事軟件工程和知識工程的研究，先後擔任973項目首席科學家，國家重點研發計劃專項和國家自然科學基金委重點項目等的項目負責人。曾獲教育部科技進步一等獎、CCF技術發明一等獎、北京市技術發明二等獎、CCF傑出成就（夏培肅）獎、IEEE TCSVC 傑出領導力獎、中創軟件人才獎等。發表論文兩百餘篇，4次獲得 ACM Distinguished Paper Awards，出版專著3部。任《軟件學報》執行主編，《計算機學報》副主編，JCST領域編委，以及IEEE TSE、IEEE TR、ACM TAAS、EMSE及RE等的編委。
報告簡介：軟件運行環境日益增強的開放性，特别是很多軟件成為自治系統的核心，使得軟件可靠性問題邊界不斷延伸。這類自治軟件系統在關鍵應用中日益廣泛的使用，要求其開發過程能提供令人信服的證據，展示其功能服務滿足可靠性要求。本報告首先分析了軟件系統可靠性的概念，讨論了軟件系統可靠性的概念框架，以及軟件系統可靠性概念的外延變遷，最後結合若幹案例，從軟件體系架構的視角，探讨自治系統的軟件可靠性關注點。
l 報告題目：魯棒圖神經網絡
嘉賓簡介：
石川，北京郵電大學計算機學院教授、博士生導師、智能通信軟件與多媒體北京市重點實驗室副主任。主要研究方向: 數據挖掘、機器學習、人工智能和大數據分析。近5年以第一作者或通訊作者在CCF A類期刊和會議發表論文50餘篇，中英文專著五部，授權發明專利20餘項，相關研究成果應用于阿裡巴巴、騰訊、華為、美團等公司。獲得ADMA2011/ AMDA2018最佳論文獎和WWW2019最佳論文候選。研究成果獲得省部級獎勵6項，包括電子學會科技進步一等獎（序一）、北京市科學技術獎自然科學二等獎（序一）和吳文俊人工智能科技進步一等獎（序三），入選愛思唯爾高被引學者，獲得北京市高等學校師德先鋒和青年英才等稱号。
報告簡介：近年來，如何将神經網絡應用到圖數據，形成了圖神經網絡的研究熱潮。圖神經網絡不僅成為人工智能的熱點技術方向，而且廣泛應用在電商、生物醫藥等衆多領域。随着圖神經網絡成為很多應用的基礎模型，其安全性成為至關重要的問題。特别是，對于對抗攻擊，圖神經網絡模型的脆弱性分析和魯棒性增強都成為重要研究課題。本報告介紹了魯棒圖神經網絡的研究進展，以及我們在标簽翻轉攻擊、最小拓撲攻擊、異質圖模型攻擊等方面的工作。
主辦單位：中國人工智能學會知識工程與分布智能專委會
伟德国际BETVlCTOR
伟德国际BETVlCTOR軟件學院
伟德国际BETVlCTOR計算機科學技術研究所
符号計算與知識工程教育部重點實驗室
仿真技術教育部重點實驗室
網絡技術及應用軟件教育部工程研究中心
伟德国际BETVlCTOR國家級計算機實驗教學示範中心
