報(bào)告專(zhuān)家：曹欽翔
報(bào)告時(shí)間：2024年7月2日19：00
報(bào)告地點(diǎn)：騰訊會(huì)議：621-170-081
專(zhuān)家簡(jiǎn)介：本科畢業(yè)于北京大學(xué)，博士畢業(yè)于美國(guó)普林斯頓大學(xué)，2018年回國(guó)任教，獲上海浦江人才計(jì)劃資助，現(xiàn)為上海交通大學(xué)約翰霍普克洛夫特計(jì)算機(jī)科學(xué)中心副教授，博士生導(dǎo)師。長(zhǎng)期從事基于交互式定理證明的程序驗(yàn)證工具開(kāi)發(fā)，并研究有關(guān)程序邏輯特別是分離邏輯的理論問(wèn)題，其研究成果發(fā)表于POPL、OOPSLA、JAR等國(guó)際知名會(huì)議與期刊。
主辦單位：學(xué)科建設(shè)辦公室
承辦單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院
陜公網(wǎng)安備 61010302000682號(hào)
