11月22日，國(guó)家杰出青年基金獲得者、中國(guó)科學(xué)院軟件研究所張健研究員應(yīng)邀來(lái)我校進(jìn)行學(xué)術(shù)交流，在計(jì)算機(jī)學(xué)院101學(xué)術(shù)報(bào)告廳作了題為“軟件測(cè)試與程序分析”的“勷勤論壇”學(xué)術(shù)報(bào)告。報(bào)告會(huì)由計(jì)算機(jī)學(xué)院副院長(zhǎng)蔣運(yùn)承教授主持，來(lái)自計(jì)算機(jī)學(xué)院和軟件學(xué)院七十多名師生參加了此次報(bào)告會(huì)。

隨著計(jì)算機(jī)科學(xué)技術(shù)的日新月異,各種軟件以及程序?qū)映霾桓F，軟件安全能否得到保障？這涉及到軟件測(cè)試與程序分析。張健研究員從“軟件錯(cuò)誤及后果”、“軟件測(cè)試”、“靜態(tài)分析”等方面展開(kāi)主題分享。首先，他通過(guò)現(xiàn)實(shí)中各類(lèi)由于軟件錯(cuò)誤導(dǎo)致行業(yè)損失慘重的翔實(shí)案例，直擊軟件錯(cuò)誤對(duì)社會(huì)發(fā)展的危害，隨之闡述了程序分析和軟件測(cè)試的有效方法，并補(bǔ)充介紹了科研成果評(píng)價(jià)的相關(guān)知識(shí)。

張健研究員是中國(guó)科學(xué)院軟件研究所研究員、博士生導(dǎo)師，曾先后獲得中創(chuàng)軟件人才獎(jiǎng)、國(guó)家杰出青年科學(xué)基金、國(guó)務(wù)院政府特殊津貼。他擔(dān)任《計(jì)算機(jī)學(xué)報(bào)》、《Journal of Computer Science and Technology》、《Frontiers of Computer Science》、《IEEE Trans. on Reliability》、《計(jì)算機(jī)科學(xué)與探索》等期刊編委，曾擔(dān)任ICSE、VSTTE、IJCAR、CADE、SAT、COMPSAC、FM等60余次重要國(guó)際會(huì)議程序委員會(huì)委員以及國(guó)際會(huì)議QRS 2015程序委員會(huì)主席。