報告專家：曹欽翔
報告時間：2024年7月2日19：00
報告地點：騰訊會議：621-170-081
專家簡介：本科畢業于北京大學，博士畢業于美國普林斯頓大學，2018年回國任教，獲上海浦江人才計劃資助，現為上海交通大學約翰霍普克洛夫特計算機科學中心副教授，博士生導師。長期從事基于交互式定理證明的程序驗證工具開發，并研究有關程序邏輯特別是分離邏輯的理論問題，其研究成果發表于POPL、OOPSLA、JAR等國際知名會議與期刊。
主辦單位：學科建設辦公室
承辦單位：計算機科學與技術學院
版權所有 西安科技大學 地址：西安市雁塔路58號 電話：029-85583114 郵編：710054 陜ICP備10002064號 陜公網安備 61010302000682號
您是第 位訪客
陜公網安備 61010302000682號
