易博全讯网-大发888娱乐场下载dafaylcdown-德州扑克牌感应分析仪

快捷指南

Quick guide

學(xué)術(shù)動(dòng)態(tài)

首頁(yè) >> 學(xué)術(shù)動(dòng)態(tài) >> 正文

【學(xué)術(shù)報(bào)告預(yù)告】基于測(cè)試的形式驗(yàn)證：理論擴(kuò)展與應(yīng)用探索


發(fā)布日期：2024-05-20    點(diǎn)擊：

報(bào)告專(zhuān)家：劉艾

報(bào)告時(shí)間：2024年5月21日

報(bào)告地點(diǎn)：騰訊會(huì)議679-942-663

專(zhuān)家簡(jiǎn)介：南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院副教授，國(guó)家重大人才工程A類(lèi)青年人才，分別于中國(guó)科學(xué)技術(shù)大學(xué)（少年班）和北京大學(xué)獲得學(xué)士和博士學(xué)位，曾任日本廣島大學(xué)助理教授。研究方向包括構(gòu)件化系統(tǒng)的余代數(shù)建模、可信軟件、形式化方法等。曾獲日本情報(bào)處理學(xué)會(huì)軟件工程組的卓越研究賞，曾在IEEE TSE、IEEE TR、JSS、ICFEM等期刊或會(huì)議上發(fā)表過(guò)多篇論文。

主辦單位：學(xué)科建設(shè)辦公室

承辦單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院