應(yīng)太陽(yáng)集團(tuán)tyc5997網(wǎng)絡(luò)與信息安全研究所胡東輝教授的邀請(qǐng)，2021年12月11日，中國(guó)科學(xué)技術(shù)大學(xué)的熊焰教授在翡翠科教樓A座第七會(huì)議室為我院師生做了題為“網(wǎng)絡(luò)安全協(xié)議通用全自動(dòng)形式化驗(yàn)證系統(tǒng)SmartVerif”的學(xué)術(shù)報(bào)告。胡東輝教授主持了本次報(bào)告會(huì)，學(xué)院相關(guān)研究方向的老師和研究生參加了此次報(bào)告會(huì)。
在報(bào)告會(huì)上，熊教授全面地介紹了其科研團(tuán)隊(duì)的最新科研成果，包括網(wǎng)絡(luò)安全協(xié)議通用全自動(dòng)形式化驗(yàn)證系統(tǒng)SmartVerif、該系統(tǒng)在區(qū)塊鏈的應(yīng)用情況以及未來(lái)軟件和芯片自動(dòng)形式化驗(yàn)證的進(jìn)展。在報(bào)告會(huì)結(jié)束后，學(xué)院張仁斌、丁涼等老師與熊教授討論了形式化驗(yàn)證的建模與移動(dòng)互聯(lián)網(wǎng)安全等一系列的問(wèn)題。
熊教授長(zhǎng)期從事網(wǎng)絡(luò)安全與形式化安全驗(yàn)證等方向的研究工作，發(fā)表論文超過(guò)200篇。熊教授目前擔(dān)任國(guó)際計(jì)算機(jī)學(xué)會(huì)ACM中國(guó)理事會(huì)常務(wù)理事、電子學(xué)報(bào)常務(wù)編委、中國(guó)通信學(xué)會(huì)通信軟件專家委員會(huì)委員，先后主持國(guó)家自然科學(xué)基金、國(guó)家重大專項(xiàng)等40多項(xiàng)國(guó)家和省部級(jí)項(xiàng)目。
TOP
