2022年CCF会士评选结果出炉！清华刘云浩、阿里李飞飞等9人当选

2022年CCF会士评选结果出炉！清华刘云浩、阿里李飞飞等9人当选

2022年CCF会士评选结果出炉！清华刘云浩、阿里李飞飞等9人当选,

　　软件数字签名,国信软件,自制app软件2022年CCF会士评选结果揭晓，祝贺9位CCF杰出会员当选CCF会士！

　　11月22日，2022年度CCF会士评选结果正式发表，9位CCF杰出会员当选CCF会士。

　　2008年，CCF正式设立会士制度，以表彰在计算机领域取得卓越成就或为CCF做出突出贡献并有连续五年及以上会龄的CCF杰出会员。

　　长期从事无障碍智能媒体计算的理论研究、技术攻关和标准制定方面的工作，取得了重要的研究成果，积极宣传和服务CCF，为学会发展做出了突出贡献。

　　2000年9月博士毕业后留校任教，2002年12月被评为副教授，2007年12月被评为教授，2009年3月被评为博士生导师。主要研究方向有智能媒体计算、大数据分析与挖掘、信息无障碍等。

　　现任浙江大学研究生院副院长、专业学位处处长、计算机软件研究所副所长，中国残疾人信息和无障碍技术研究中心副主任，阿里巴巴-浙江大学前沿技术联合研究中心（AZFT）副主任，浙江省服务机器人重点实验室主任。

　　「百千万人才工程」国家级人选，国家「万人计划」科技创新领军人才，教育部「新世纪优秀人才支持计划」入选者，浙江省「新世纪151人才工程」第一层次培养人员。

　　中国计算机学会（CCF）常务理事，CCF青工委主任（2018-2020年），CCF YOCSEF主席（2013-2014年度）。全国信息技术标准化技术委员会（SAC/TC28/SC35）委员（负责信息无障碍领域国家标准制定和推广实施）。

　　作为项目负责人，已承担和完成国家863、973、国家自然科学基金、国家科技支撑计划、国家国际科技合作专项、国家重点研发计划等国家和省部项目10余项，负责重大企业合作和国际合作项目10余项。

　　出版著作3部，授权相关发明专利40余项。获2011年度国家科技进步二等奖，2007年度国家技术发明二等奖，2019、2011、2010、2006年度浙江省科学技术一等奖等科技奖励。作为第一起草人制定信息无障碍领域国家标准2项，参与制定国家和行业标准3项。

　　计算机与人工智能应用领域的资深专家，在计算机应用技术领域取得了多项成果，主编了《人工智能及其应用》等多本教材，为我国计算机事业的发展和人才培养做出了重要贡献。

　　1962年毕业于西安交通大学电气工程系工业自动化专业，1962年至今在中南大学（原中南矿冶学院、中南工业大学）从事人工智能、机器人学、智能控制等教学和科研工作。

　　1986年任中南工业大学自动控制工程系副教授，1991年6月起任教授，1993年被国务院学位委员会批准为博士生导师。曾任中南大学信息科学与工程学院学位委员会主席、教授委员会主任。

　　现为中南大学教授、博士生导师，湖南省自兴人工智能研究院首席科学家。是联合国专家、IEEE Fellow（院士）、IEEE终身院士、国际导航与运动控制科学院院士、纽约科学院院士，是首届全国高校国家级教学名师奖、吴文俊人工智能科技奖成就奖、徐特立教育奖和宝钢全国优秀教师奖特等奖获得者。

　　兼任中国人工智能学会第3-4届副理事长及其智能机器人分会/专业委员会创会理事长/主任、中国自动化学会理事及其智能自动化专业委员会委员/顾问、中国计算机学会人工智能与模式识别专业委员会委员，IEEE计算智能学会评奖委员会委员和IEEE CIS进化计算技术委员会委员等。

　　主要从事智能系统、人工智能、智能控制、智能机器人研究。在智能系统、机器人学和自动控制等学科领域具有很高的知名度，是我国人工智能、智能控制、智能机器人学诸学科的学术带头人之一，为我国智能科学技术的发展做出重要贡献，被誉为「中国人工智能教育第一人」、「中国智能机器人学科创始人」和「中国智能控制奠基者」。

　　主持并完成国家自然科学基金重点项目在内的科教研究30多项，其中获国际奖励2项，国家级奖励3项，省部级以上奖励10多项。已在国内外出版专著、教材50部，发表学术论文1000多篇。

　　在数据库领域取得了具有国际影响力的成果，主持研发了新一代国产云原生分布式数据库系统PolarDB，在推动产学研合作与服务CCF方面做出了重要贡献。

　　阿里巴巴集团副总裁、阿里云数据库产品事业部负责人，也是达摩院的数据库首席科学家，任达摩院数据库和存储研究实验室的主任。

　　研究兴趣包括数据库系统、大规模数据管理、数据安全、数据分析以及用于系统性能和监控的机器学习方法。

　　在物联网体系结构方面取得了具有国际影响力的成果，推动CCF和ACM合作，担任《中国计算机学会通讯》主编，积极宣传和服务CCF，为学会发展做出了突出贡献。

　　主要研究方向：物联网与无线传感网，室内定位与网络诊断，RFID，供应链与工业互联网，分布式系统与云计算。

　　1990年至1995年在清华大学自动化系学习，获得工学学士学位，1995至1997年在北京外国语大学高级翻译学院获得文学硕士学位，2001年至2004年在美国密西根州立大学计算机系获得工学硕士和博士学位。

　　2004年至2011年在香港科技大学计算机科学与工程系历任助理教授、副教授、博士生导师、系研究生部主任（Postgraduate Director），2011年获聘清华大学长江学者特聘教授。2013年至2017年任清华大学软件学院院长，2018年至2020年任美国密西根州立大学MSU Foundation Professor和计算机系主任，2020年8月起担任清华大学全球创新学院（GIX）院长，自动化系教授、博士生导师。

　　2007年获得香港最佳创新与研究大奖，2010年获得教育部自然科学一等奖，2011年获得国家自然科学二等奖、国家杰出青年基金，2013年获得ACM Presidential Award，2014年获得ACM MobiCom最佳论文奖，2016年获得中国计算机学会物联网专委会青年成就奖，2021年获得ACM SIGCOMM最佳学生论文奖。

　　长期从事数据安全、物联网安全等领域的研究，取得了突出研究成果，积极参与CCF多项工作，为学会发展做出了重要贡献。

　　浙江大学求是讲席教授，ACM和IEEE会士，目前担任浙江大学网络空间安全学院院长、计算机科学与技术学院副院长，并曾担任纽约州立大学布法罗分校冠名教授及普适安全与隐私实验室主任。是数据安全、人工智能安全、物联网安全与认证与隐私保护等领域的国际知名专家。

　　同时担任教育部科学技术委员会委员、教育部高等学校教学指导委员会委员、ACM亚洲计算机与通信安全会议指导委员会委员、ACM中国安全分会会长，浙江省网信咨询委员会委员以及浙江省海高会青年分会首任会长，以及多个国际权威期刊编委，国际一流会议主席或共同主席。

　　获得了包括浙江大学首届国华杰出学者奖，IEEE通信分会安全技术委员会技术成就奖 、纽约州立大学校长杰出研究奖 、美国国家自然科学基金青年职业奖在内的一系列奖项。

　　在高性能网络、网络安全和超级计算机网络方面为我国计算机事业做出了突出贡献，担任CCF互联网专业委员会主任，为学会发展做出了重要贡献。

　　国防科技大学教授，博士生导师，「网络技术」国家级创新团队负责人。主要研究方向为高性能网络、网络安全和数据中心网络研究。曾任国家重大基础研究（973）项目首席科学家，银河/天河计算机系统副总设计师，2021年获得光召科技奖。

　　在高性能网络、网络安全和超算网络方面，做出系统性和创造性贡献。提出属性网络体系结构，突破了安全路由、高速交换、报文分类识别等关键技术，设计了新型协议体系，带领团队成功研制了系列化高性能网络设备、网络安全系统和超级计算网络环境，大规模应用于国家信息化建设。

　　获国家科技进步特等奖1项、国家科技进步一等奖1项、国家科技进步二等奖4项。出版著作4部，在国内外顶级期刊和会议发表论文200多篇。

　　长期从事形式化方法和高可信软件工程研究，取得了突出研究成果，担任CCF形式化方法专业委员会主任，为学会发展做出了重要贡献。

　　在计算机系统软件的研究、教学和人才培养方面做出了突出贡献，长期致力于CCF服务工作，为学会发展做出了突出贡献。

　　1987年获复旦大学计算机系统结构学士学位、1990年获复旦大学计算机软件硕士学位、1999年获复旦大学软件与理论博士学位。

　　2013年12月起担任上海交通大学软件学院院长。兼任国务院学位委员会软件工程学科评议组成员、教育部软件工程教学指导委员会委员、中国工程教育认证计算机分委员会委员、中国计算机学会杰出会员、示范性软件学院联盟副理事长。

　　主要从事编译技术、操作系统和计算机体系结构等方向的研究，致力于提高计算机系统的性能、可靠性和安全性。

　　近年来在著名国际学术会议上发表20余篇论文，其中包括计算机体系结构、操作系统、编译和语言、软件工程领域顶级会议如：SOSP、Usenix ATC、Eurosys、ISCA、MICRO、HPCA、PACT、PPOPP、ICSE等。担任ICS‘14、PPOPP 2013、ICPP 2013、PACT 2011、SC’11等著名国际学术会议程序委员会委员和APPT 2011程序委员会共同主席。

　　长期从事高性能计算研究，在并行算法和应用方面取得了重要成果，担任CCF高性能计算专业委员会秘书长等职务，为学会发展做出了重要贡献。

　　中科院计算所计算机体系结构国家重点实验室，研究员，博士生导师。已在国内外发表学术论文100余篇，出版译著二本，论著章节三章。其中SCI 4篇, ISTP 7篇，EI 38篇.在著名国际会议SC、PPoPP、Cluster、ECIR、IEEE ICPADS、Euro-Par、IEEE ICPP、ICA3PP、IEEE HPCC等发表过十多篇文章。

　　1995年在北京理工大学获计算机科学与技术系计算机应用专业工学学士学位，2000年在中国科学院软件研究所获计算机软件与理论专业工学博士学位。