合作交流--中科院軟件所張健研究員來(lái)訪(fǎng)

2012年11月5日，中科院軟件所所長(cháng)助理張健研究員到軟件中心作學(xué)術(shù)交流，主要考察和了解軟件中心重點(diǎn)實(shí)驗室在軟件測試技術(shù)研究方面的情況。軟件中心蔡立志副主任向其介紹了重點(diǎn)實(shí)驗室在軟件測試標準、軟件測試技術(shù)領(lǐng)域的研究情況，簡(jiǎn)要介紹了第三方服務(wù)的總體情況，并與張健研究員就軟件測試領(lǐng)域的熱點(diǎn)技術(shù)問(wèn)題進(jìn)行了細致的切磋和交流。

張健研究員是中科院軟件所博士生導師，中國科學(xué)院計算機科學(xué)重點(diǎn)實(shí)驗室副主任，主要研究方向包括自動(dòng)推理、約束求解、程序分析與軟件測試，曾先后獲得中國科學(xué)院青年科學(xué)家獎、中創(chuàng )軟件人才獎和國家杰出青年科學(xué)基金。