2018年度 CCF會士評選會在學會總部舉行。2018年度共收到會士候選人提名材料15份，2018年度CCF會士評選委員會委員仔細審閱了提名材料，經過討論和無記名投票，七位CCF杰出會員當選CCF會士。中國科學院軟件研究所張健研究員當選。 

　　CCF授予當選會士證書 

　　張健 研究員，主要研究領域包括自動推理、約束求解、軟件測試與分析。擔任《計算機學報》，JCST, Frontiers of CS, IEEE Trans. on Reliability,《中國科學》，《計算機科學與探索》編委。國家973計劃項目“安全攸關軟件系統的構造與質量保障方法研究”首席科學家。獲得中創軟件人才獎、國家杰出青年科學基金。擔任CCF學術工委執行委員、公共政策委員會執行委員、專委工委委員，積極參與CCF推薦國際學術會議/刊物目錄審查與修訂，代表學會參加專委會會議；作為CCF形式化方法專委和軟件工程專委委員，承擔專委學術會議和學科發展報告撰寫等工作。 

　　CCF設立會士制度旨在表彰在計算機領域取得卓越成就或為CCF做出突出貢獻并有連續五年以上會籍的CCF會員。會士是會員在CCF的最高學術榮譽。