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