七名杰出会员当选CCF会士

国防科技大学窦勇、北京邮电大学杜军平、西安电子科技大学段振华、山西大学梁吉业、联想研究院芮勇、中科院软件所张健、清华大学朱文武等七位CCF杰出会员当选CCF会士。

2018年12月3日，2018年度 CCF会士评选会在学会总部举行。本次会议由CCF会士工作委员会主席、中国科学院院士梅宏教授主持。2018年度共收到会士候选人提名材料15份，2018年度CCF会士评选委员会委员仔细审阅了提名材料，经过讨论和无记名投票，七位CCF杰出会员当选CCF会士。

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

本次当选的七名会士（按姓氏拼音为序）：

窦  勇

国防科学技术大学研究员，CCF理事、体系结构专委会主任

主要从事计算机体系结构、高性能计算机系统结构、可重构算法加速器体系结构和面向领域的大规模并行计算技术等方面的研究。参加银河III/IV/V 三个型号高性能计算机和银河高性能仿真计算机研制工作，历任设计师、主任设计师和副总设计师，是国家“千万亿次高性能计算机”创新群体主要骨干成员。长期服务于CCF，历任CCF体系结构专委会委员、秘书长、主任，致力于体系结构专委会发展，学术活动日益活跃，委员人数增加，并带领所在专委会积极在CNCC上举办学术活动。

杜军平

北京邮电大学教授

研究领域包括人工智能理论与技术、机器学习、跨媒体大数据智能信息处理、精准搜索等，在人工智能理论与技术、社交网络信息搜索、智能技术与大数据的结合等方面取得了多项创新性研究成果。在IEEE TKDE、TPAMI、TSMC、TNNLS、TIM、TVT、TIFS、TCST、CVPR等国际重要刊物和国内外著名学术会议上发表论文365篇论文。积极参加CNCC和CCF组织的多种学术活动，多次参加CCF走进高校动，获2017年度CCF杰出演讲者。作为CCF人工智能与模式识别专委会常委和CCF大数据专家委员会常委，在所在专委会组织的学术交流活动中担任多种学术职务，发挥重要作用。 

段振华

西安电子科技大学教授

长期从事计算机软件和理论学科的教学和研究工作。提出了投影时序逻辑PTL，证明了命题投影时序逻辑PPTL的可判定性；建立了PPTL的一个合理且完备的公理系统。提出了基于区间的时序逻辑PPTL的模型检测理论的方法。建立了并行时序逻辑程序设计语言MSVL。积极参与CCF相关专委会的学术活动，曾任CCF佩特里专委会副主任，作为组织委员会主席承办第29届国际佩特里大会。协助筹办CCF形式化方法专委会，多次在CCF形式化方法专委会、CCF嵌入式系统专委会、CCF软件工程和CCF系统软件专委会的学术活动中作学术报告。

梁吉业

山西大学教授，CCF理事

长期从事计算智能与数据挖掘技术方面的教育研究工作，在粒计算与数据挖掘方面有出色的研究工作。研究成果在AI、IEEE TPAMI、IEEE TKDE等权威期刊和会议上发表论文200余篇。2008年至今担任CCF理事，积极协助组织CCF学术活动，担任CNCC2016组委会副主席。2012-2017年担任CCF太原会员活动中心主席，在会员发展、学术交流、CCF走进山西高校、推进产学研合作等方面做了大量工作。作为CCF人工智能与模式识别专委会常委，为专委的发展做出了重要贡献。

芮  勇 博士

联想集团首席技术官、高级副总裁，CCF常务理事

多媒体及计算机视觉领域的杰出学者，ACM/IEEE/IAPR/SPIE Fellow。首次提出多媒体特征及人眼视觉感知相似度模型理论，颠覆了之前单纯依赖图像特征的搜索框架，还取得图像与文本自动排版、图像搜索多角度特征重排序、基于多模态稀疏编码的图像搜索点击预测、基于相关性多标注的视频分类等多项开创性科研成果；并先后获得了ACM SIGMM 2018技术成就奖、IEEE Computer Society 2016 技术成就奖，以及ACM TOMM 2017、IEEE SMC 2017、2016IEEE信号处理学会、IEEE TMM 2015和ACM Multimedia 2007最佳论文奖。积极领导、参与CCF各项工作，定期在大数据等多个专委会作主题报告，积极参与CCF专委工委专委宏观布局和专委改革发展，并带领所在企业对ADL、TF和YOCSEF等组织的活动给予了大力支持。

 张  健

中国科学院软件研究所研究员

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

朱文武

清华大学教授

主要从事三元空间大数据计算、视频大数据计算、社会化多媒体计算、未来多媒体通信与网络等研究工作。欧洲科学院院士、AAAS/IEEE/SPIE Fellow。在多媒体网络发展方面做出开拓性工作，先后获2001年IEEE T-CSVT、2004年IEEE 通信学会多媒体通信专业委员会的最佳论文奖。在社会感知的多媒体内容分发方面做出国际领先成果，获2012 ACM Multimedia（唯一）最佳论文奖。获2018年国家自然科学二等奖（排名第一）。在CCCF上组织社会计算专刊。多次组织CCF ADL。多次在CNCC上组织专题论坛。2017年被评选为CCF杰出演讲者。

中国计算机学会

微信号：ccfvoice           

长按识别二维码关注我们

点击“阅读原文”，加入CCF。