報告專家：劉艾
報告時間：2024年5月21日
報告地點：騰訊會議679-942-663
專家簡介：南京航空航天大學計算機科學與技術學院副教授，國家重大人才工程A類青年人才，分別于中國科學技術大學（少年班）和北京大學獲得學士和博士學位，曾任日本廣島大學助理教授。研究方向包括構件化系統的余代數建模、可信軟件、形式化方法等。曾獲日本情報處理學會軟件工程組的卓越研究賞，曾在IEEE TSE、IEEE TR、JSS、ICFEM等期刊或會議上發表過多篇論文。
主辦單位：學科建設辦公室
承辦單位：計算機科學與技術學院
陜公網安備 61010302000682號
