清華新聞網(wǎng)3月29日電 3月22日，“中創(chuàng)軟件人才獎(jiǎng)”頒獎(jiǎng)儀式暨獲獎(jiǎng)?wù)邔W(xué)術(shù)報(bào)告會(huì)在山東濟(jì)南召開(kāi)。清華大學(xué)軟件學(xué)院副教授賀飛由于在程序驗(yàn)證領(lǐng)域作出的突出貢獻(xiàn)，獲得2022年度“中創(chuàng)軟件人才獎(jiǎng)”。
頒獎(jiǎng)現(xiàn)場(chǎng)
“中創(chuàng)軟件人才獎(jiǎng)”是通過(guò)國(guó)家科技部認(rèn)定、具有全國(guó)影響力、專(zhuān)門(mén)面向軟件領(lǐng)域的科技獎(jiǎng)項(xiàng)。受疫情影響，2021和2022兩屆頒獎(jiǎng)會(huì)同期合并舉辦，分別為2021年度四位、2022年度三位國(guó)內(nèi)軟件領(lǐng)域的杰出青年學(xué)者頒發(fā)獲獎(jiǎng)證書(shū)。
賀飛
賀飛，清華大學(xué)軟件學(xué)院副教授、博導(dǎo)。主要從事程序驗(yàn)證、模型檢驗(yàn)和自動(dòng)邏輯推理的研究。主持國(guó)家自然科學(xué)基金項(xiàng)目、基礎(chǔ)加強(qiáng)項(xiàng)目課題、國(guó)家重點(diǎn)研發(fā)計(jì)劃課題等十余項(xiàng)。在相關(guān)國(guó)際會(huì)議和期刊上發(fā)表論文70余篇。曾獲并行計(jì)算頂會(huì)PPoPP 2022最佳論文獎(jiǎng)、軟件工程頂會(huì)ASE 2018杰出論文獎(jiǎng)、形式化方法會(huì)議SETTA 2022最佳論文獎(jiǎng)等。
供稿：軟件學(xué)院
編輯：李華山
審核：郭玲
