近日，中國計算機學會（CCF）發來賀信，對軟件所計算機科學國家重點實驗室張健研究員在2016年度會員級別評審中當選為中國計算機學會（CCF）杰出會員（Distinguished Member）表示祝賀，評審委員會高度評價張健研究員的專業造詣和長期以來對CCF發展的貢獻。 

　　成為CCF杰出會員必須符合嚴格的條件：在所從事領域取得公認的突出成就，在業界具有較大影響力，對CCF發展做出重大貢獻。此外，在計算相關領域從業10年以上且目前還繼續在這些領域從業，本學會連續會齡4年以上。2016年，全國僅有36名高級會員晉升為杰出會員。

　　張健研究員先后獲得中國科學院青年科學家獎、中創軟件人才獎、國家杰出青年科學基金、國務院政府特殊津貼。主要研究興趣包括：自動推理、約束求解、程序靜態分析與檢錯、軟件測試數據生成。

　　張健研究員