张健研究员当选 CCF 会士

2018 年度 CCF 会士评选会在学会总部举行。2018 年度共收到会士候选人提名材料 15 份，2018 年度 CCF 会士评选委员会委员仔细审阅了提名材料，经过讨论和无记名投票，七位 CCF 杰出会员当选 CCF 会士。中国科学院软件研究所 SQuARE 组张健研究员成功当选。

张健研究员主要研究方向包括自动推理、约束求解、软件测试与分析。现担任《计算机学报》、JCST、Frontiers of CS、IEEE Trans. on Reliability、《中国科学》、《计算机科学与探索》等期刊编委，国家 973 计划项目 “安全攸关软件系统的构造与质量保障方法研究” 首席科学家。曾获中创软件人才奖、国家杰出青年科学基金。现任 CCF 学术工委执行委员、公共政策委员会执行委员、专委工委委员，积极参与 CCF 推荐国际学术会议 / 刊物目录审查与修订，代表学会参加专委会会议；作为 CCF 形式化方法专委和软件工程专委委员，承担专委学术会议和学科发展报告撰写等工作。

CCF 设立会士制度旨在表彰在计算机领域取得卓越成就或为 CCF 做出突出贡献并有连续五年以上会籍的 CCF 会员。会士是会员在 CCF 的最高学术荣誉。