系统软件专委执行委员申请人情况公示



截止2021年12月22日24:00, 系统软件专委供收到执行委员申请84份。为了便于专委执行委员对相关申请人材料提前熟悉,现将申请人申请材料进行公示。如有问题,请随时与专委秘书处联系。申请人排序以申请书递交时间与姓氏拼音为序。申请人具体信息请扫描二维码下载申请书查看。申请书中电话email等信息均已删除,做隐私化处理。



姓名:齐洪钢

单位:中国科学院大学

现任职:副教授

成为通信委员年度:2017年

界别:高校

个人简介:

1998年毕业于北京科技大学,获得学士学位;

2002年毕业于东北大学,获得硕士学位;

2006年至2007年在展讯通讯有限公司工作,担任视频算法芯片设计工程师;

2008年毕业于中科院计算所,获得博士学位;

2008年到2010年中国科学院大学博士后,目前是中国科学院大学计算机与控制学院副教授。

本人多年以来一直从事视频图像编解码及分析理解方面的理论研究以及网络视频流媒体系统软件的应用研发工作。近年来先后以第一作者在国际期刊和会议公开发表论文10篇,合作发表30余篇,授权发明专利5项。曾多次参加国家音视频标准AVS标准会议,提出10多项标准技术提案,其中模式编码优化,视频流缓冲区管理,运动矢量预测三项技术被采纳,2007年获得AVS标准集体贡献奖;多次参加MPEG国际会议,提出包括整数反变换(IDCT)和可重构视频编码(RVC)在内的20多项技术提案。

申请表下载


   


 

       

姓名:蔡卓炜

单位:上海陆金所

现任职:移动研发部经理

成为通信委员年度:2017年

界别:工业界

个人简介:

2012.3~2014.1 复旦大学 软件学院工程硕士

2014.3~至今 上海陆家嘴国际金融资产交易市场股份有限公司移动研发部经理

2017.2~至今 中国计算机学会上海分会委员

申请表下载



姓名:谢山青

单位:华为软件技术有限公司

现任职:项目经理

成为通信委员年度:2018年

界别:工业界

个人简介:

本科毕业于安徽师范大学计算机系,硕士就读于东南大学,一直从事系统软件相关工作。目前就职于华为,负责电信BSS等产品的交付工作,目前主要聚焦人工智能在电信行业业务应用。

申请表下载





姓名:袁敏

单位:南京师范大学

现任职:副教授

成为通信委员年度:2018年

界别:高校

个人简介:

申请人博士毕业于南京航空航天大学,研究方向集中在面向服务计算领域,主要关注系统软件、软件建模与验证、云计算等方面。现为南京师范大学计算机学院副教授、硕士生导师。主持和参加国家自然科学基金、国家重点研发计划及省部级科研项目等。2010年获UNU-IIST(联合国大学澳门国际软件技术研究所)资助访问印度TATA软件研发中心。近年来在国内外权威期刊和会议上发表SCI、EI收录学术论文30余篇。

申请表下载





姓名:陈东

单位:国防科学技术大学

现任职:讲师

成为通信委员年度:2019年

界别:高校

个人简介:

本人2007-2011年于国防科学技术大学计算机学院完成本科学习,2011-2013年于国防科学技术大学计算机学院完成研究生学习,2014-2019年于美国罗切斯特大学完成计算机科学专业博士学习,目前就任国防科学技术大学计算科学系讲师。本人主要的研究兴趣集中在系统软件及系统结构,包括但不限于动静态程序分析,并行计算,存储管理和程序综合。硕士博士期间共发表论文12篇,其中1作7篇。发表论文主要集中在编译领域会议PLDI(A类),LCPC,TACO(B类),并行计算会议HPCC(C类),Euro-Par(C类)及存储会议MEMSYS上。

申请表下载





姓名:李诚

单位:中国科学技术大学计算机科学与技术学院

现任职:特任研究员

成为通信委员年度:2019年

界别:高校

个人简介:

李诚现为中国科学技术大学计算机科学与技术学院特任研究员。2009年获得南开大学计算机科学与技术学士学位,2016年获得德国马普学会软件系统所 (MPI-SWS)/萨尔大学(UdS)联合培养博士学位。曾任美国甲骨文公司瑞士苏黎世实验室 (Oracle Labs Swiss) 高级技术研究员,葡萄牙计算机系统工程研究所 (INESC-ID, Portugal) 访问研究员。李诚研究员一直从事分布式计算、一致性模型、系统性能优化、容灾容错等方面的基础理论和系统构建的研究工作。其成果发表于包括OSDI,USENIX ATC,EuroSys,TPDS等系统领域的知名国际会议或期刊上。担任CCF Digital编委,CCF推荐期刊Frontiers of Computer Science青年AE。曾担任SOSP Poster Session共同主席 (2017),CCF B类会议SRDS程序委员会委员 (2019),并参加CCF A类期刊TOS、TON以及其他一些知名国际会议ICAC、DSN等的论文审稿工作。

申请表下载





姓名:肖臻

单位:北京大学计算机系

现任职:研究员

成为通信委员年度:2019年

界别:高校

个人简介:

2001年1月于美国Cornell University获得博士学位;1996年7月于北京大学获得学士学位;2001年1月—2006年2月:美国AT&T Labs—Research任Senior Technical Staff Member;2006年2月—2008年2月:美国IBM T.J.Watson Research Center任Research Staff Member;2008年2月—现在:北京大学计算机系研究员、博士生导师。

申请表下载




姓名:徐建

单位:北京控制工程研究所

现任职:高级工程师

成为通信委员年度:2019年

界别:研究所

个人简介:

2004.9-2008.6,本科,吉林大学,信息与计算科学专业;

2008.9-2011.6 ,硕士,中国空间技术研究院,计算机应用技术专业;

2011.6-2017.8,就职于北京控制工程研究所,工程师;

2017.8-至今,就职于北京控制工程研究所,高级工程师;

主要承担空间飞行器操作系统及系统软件设计工作。工作期间负责载人航天、深空探测、导航卫星、通信卫星、遥感卫星等型号星载计算机的操作系统和系统软件研制工作;参与我国第一个空间嵌入式实时操作系统SpaceOS的研制,目前进行第三代的研制工作;参与自然科学基金、973、核高基、装发信息系统局等多个课题的研究工作,主要参与嵌入式实时操作系统及系统软件相关方面的研究内容。

申请表下载





姓名:杨已彪

单位:华中科技大学

现任职:副教授

成为通信委员年度:2019年

界别:高校

个人简介:

杨已彪,男,博士,现任华中科技大学副教授。2016年9月博士毕业于南京大学计算机科学与技术系,主要研究兴趣包括软件分析与测试、编译器工具链缺陷检测等。近年来,在ICSE、FSE、ASE等会议和TSE、TOSEM等期刊发表论文二十余篇。曾获江苏省优博、南京大学优博等。

申请表下载






姓名:赵庆玲

单位:南京理工大学

现任职:副教授

成为通信委员年度:2019年

界别:高校

个人简介:

2018.12 –至今:南京理工大学计算机学院副教授,目前主要研究方向:实时操作系统,智能嵌入式系统,航空、汽车电子等混合关键度物理信息系统的操作系统调度算法;

2016.02-2018.05:德国布伦瑞克工业大学博士后;

2009.9-2015.9:在浙江大学吴朝晖老师带领的CCNT 实验从事汽车操作系统的验证与调度算法的研究,攻读计算机科学与技术专业博士;

2013.12-2014.12:McGill University 大学联合培养博士

申请表下载



姓名:朱慧灵

单位:暨南大学

现任职:副研究员

成为通信委员年度:2019年

界别:高校

个人简介:

于清华大学数学系取得学士学位;新加坡国立大学数学系取得博士学位,研究方向为数理逻辑;南洋理工大学完成短期research fellow/博士后项目。现于中山大学数据科学与计算机学院任副研究员,从事人工智能领域,包括知识图谱、自然语言处理、规划等方向的研究工作。曾访问耶路撒冷希伯来大学、惠灵顿维多利亚大学、中国科学技术大学等高校。

申请表下载





姓名:胡振江

单位:北京大学计算机科学技术系

现任职:教授

成为通信委员年度:2020年

界别:高校

个人简介:

1996年在日本东京大学获得计算机博士学位,从事的研究为编程语言,基于模型的软件开发,函数式语言,程序变换和综合。目前在北京大学任教授。

申请表下载



姓名:王璐

单位:西安电子科技大学计算机科学与技术学院

现任职:院人才助理学科方向秘书

成为通信委员年度:2020年

界别:高校

个人简介:

本人于2018年在西安电子科技大学获软件工程专业博士学位,目前任职于西电计算机科学与技术学院。目前致力于研究 ①微服务架构系统,特别关注在嵌入式软件下的微服务系统搭建工作;②软件演化与自适应,特别关注资源受限环境下的嵌入式系统调控问题。作为第一/通讯作者在ICSE、FSE、ICSME、SANER、《软件学报》等发表论文30余篇。目前主持国家自然科学基金青年项目、陕西省自然科学基金项目、与中航工业等单位开展校企合作项目四项,参与国家重点研发计划、国家863计划重大项目、国防973计划项目、国家重点研发计划项目、国家自然科学基金面上项目、国防预研项目等科研项目十余项,获批专利十余项。

申请表下载




姓名:杨刚

单位:西北工业大学

现任职:教授/副主任

成为通信委员年度:2020年

界别:高校

个人简介:

1994.9-1998. 7在第二炮兵工程学院自动控制系进行本科阶段学习;

1999.9-2006.3在 西北工业大学计算机学院完成了硕士和博士阶段学习。

2011.11~2012.11在美国Portland 州立大学和UC Berkeley访问交流,

2015.10-2015.11月在德国达姆施塔特工业大学访问交流。

2006年3月至今,在西北工业大学计算机学院从事教学科研工作,主要研究方向为嵌入式操作系统、分布式中间件以及混合计算协同调度。目前担任陕西省计算机学会嵌入式系统专委会副主任,陕西省嵌入式系统技术重点实验室主任。

申请表下载





姓名:姚远

单位:南京大学

现任职:副研究员

成为通信委员年度:2020年

界别:高校

个人简介:

申请人于2015年9月在南京大学计算机科学与技术系取得博士学位,导师是徐锋教授与吕建院士。2016年5月加入南京大学计算机科学与技术系 任助理研究员,2019年5月至今任副研究员。申请人的研究兴趣在于通过智能化手段应对开放环境中的软件系统的质量问题,研究工作受到了一系列软件智能化相关的国家项目的支持,研究成果发表在包括CCS、ICSE、KDD、WWW等在内的一系列国际会议与期刊上。

申请表下载



姓名:白家驹

单位:清华大学计算机系

现任职:助理研究员

成为通信委员年度:2021年

界别:高校

个人简介:

2013年获得西安电子科技大学的学士学位;2018年获得清华大学的工学博士学位,并获得清华大学优秀博士学位论文奖;2018年9月至2021年2月,在清华大学计算机系从事博士后工作;2021年3月加入清华大学计算机系,担任助理研究员。研究方向为系统软件可靠性和程序分析,主要利用动态分析和静态分析技术自动检测系统软件的缺陷。在操作系统和系统安全会议和期刊上已发表20余篇学术论文,包括ACM TOCS、ACM ASPLOS、USENIX ATC和USENIX Security等CCF-A类论文8篇。研制的程序分析工具,在主流操作系统(包括Linux、FreeBSD和Zephyr等)中发现了数千个真实缺陷,并在华为、蚂蚁金服和腾讯等公司中得到实际部署和使用,在缺陷检测方面效果良好。

申请表下载




姓名:蔡淼

单位:蔡淼

现任职:

成为通信委员年度:2021年

界别:高校

个人简介:

2020年博士毕业于南京大学,现为河海大学计算机与信息学院教师。ACM会员,IEEE会员,中国计算机学会会员。曾在伊利诺伊大学厄巴纳-香槟分校交流访问。在计算机系统和体系结构的国际学术期刊JSA,FCS等和会议ISCA、ICPADS、ICA3PP、TrustCom等上发表相关学术论文多篇。申请发明专利5项。

申请表下载



姓名:常万里

单位:湖南大学

现任职:正教授

成为通信委员年度:2021年

界别:高校

个人简介:

博士毕业于慕尼黑工大,本科毕业于新加坡南洋理工大学,2020年入选国家青年千人计划回国,此前在英国约克大学任终身教职,曾在德国英飞凌公司领导汽车芯片功能验证团队

申请表下载




姓名:陈森

单位:天津大学

现任职:英才副教授、特聘研究员

成为通信委员年度:2021年

界别:高校

个人简介:

2018年10月,本人成为计算机学会(CCF)学生会员,并积极参加系统软件专委会承办的各种学术活动,例如,获得2018和2020年中国软件大会NASAC,原型工具竞赛三等奖和自由型工具竞赛三等奖,参加顶会论坛,优秀博士生论坛活动等。回国加入天津大学智能与计算学部后,于2021年1月,正式成为计算机学会专业会员。积极投身系统专业委员会组织的学术活动中,例如,担任系统软件专委会承办的亚太网构论坛Internetware 2020的财务执行主席(Financial Chair),积极参与会议的组织工作,并担任会议的分会主席。除此之外,积极进行学术服务活动,例如,担任亚太软件工程大会APSEC 2020,ERA Track程序委员会主席(Co-Chair); 担任多个顶级期刊或者会议的审稿人和程序委员会成员,例如IEEE TSE,TOSEM,TDSC,TIFS,ASE等。

申请表下载




姓名:陈厅

单位:电子科技大学

现任职:教授

成为通信委员年度:2021年

界别:高校

个人简介:

电子科技大学计算机软件与理论博士毕业,主要从事软件安全性研究,在顶级国际会议上发表论文10余篇,一篇论文入选ESI高被引论文和热点论文,单篇谷歌引用超过900次。获得国内首个INFOCOM最佳论文奖(第一作者)、CCF颁发的2018中国区块链唯一最佳论文奖(第一作者)、知名安全国际会议ISPEC 2017唯一最佳论文奖(第一作者)、经验软件工程顶级国际会议ESEM 2019最佳论文奖提名(第一作者)、2018年度全球最具影响力50篇区块链论文奖(第一作者)、2012国家科技进步二等奖、2010四川省科技进步一等奖。入选四川省学术和技术带头人后备人选,被评为2019成都区块链年度优秀个人(唯一高校获奖者)。主持一项国家重点研发计划课题和两项国家自然基金项目。

申请表下载




姓名:陈芝菲

单位:南京理工大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

本人于2008年-2012年于南京理工大学计算机科学与技术学院软件工程专业就读本科,随后于2012年-2018年于南京大学计算机科学与技术学院进行硕博连读,在徐宝文教授的指导下进行软件工程方向的研究。博士毕业以后,本人先就职于华为南京研究所,在预研岗位工作一年。其后,本人自2020年9月以来就职于南京理工大学计算机科学与工程学院,任副教授职称。

申请表下载



姓名:戴小氐

单位:中国航空工业集团公司西安航空计算技术研究所

现任职:主任

成为通信委员年度:2021年

界别:研究所

个人简介:

本人2002年毕业于西安电子科技大学计算机软件专业,目前在中国航空工业集团公司西安航空计算技术研究所从事嵌入式计算机软件研制和软件工程化管理工作,承担该技术领域的多项预研课题和型号研制工作,共获得部级一等奖3项,部级二等奖1项,部级三等奖2项,局级三等奖2项;发表学术论文15篇,其中核心期刊3篇;专利授权10项。

申请表下载



姓名:窦晖

单位:安徽大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

窦晖,博士,安徽大学副教授、硕士生导师,数据智能与人文社会计算研究所所长。2017年9月于西安交通大学获博士学位,2017年9月至2018年6月在西安华为技术有限公司云计算与大数据架构与设计部担任高级工程师,2018年9月至2020年8月在中山大学做科研博士后。主要研究方向为面向大数据和微服务场景的端到端智能配置调优,具体包括性能、能耗、资源利用率以及成本优化等。目前主持国家自然科学基金青年项目1项,参与省部级以上项目5项,并在国内外会议和期刊共发表10篇论文,获得过2015年WISA会议“最佳学生论文”。主要的创新性工作集中在使用人工智能算法解决系统软件的优化问题方面。

申请表下载



姓名:冯禹洪

单位:深圳大学计算机与软件学院

现任职:副教授/系副主任

成为通信委员年度:2021年

界别:高校

个人简介:

教育 :1993~1998 中国科学技术大学 计算机科学与技术系 学士2002~2008 新加坡南洋理工大学 计算机工程学院 博士 (导师:蔡文桐教授)

工作 :2008.01~2009.05 香港理工大学 电子计算学系 博士后 (导师:曹建农教授)2009.06~2010.03 中国科学院先进技术研究院 助理研究员 2010.04~至今 深圳大学计算机与软件学院 副教授

研究兴趣 :并行分布式计算、大数据处理、中间件、操作系统。先后在国内外期刊会议上发表论文近 30 篇,主持国家自然科学基金青年项目 1项、广东省自然科学基金面上项目 2 项、深圳市基础研究项目 1 项等。参与的“云数据交换与服务装备关键技术及产业化”获 2018 年中国电子学会科技进步一等奖,作为第一作者获国际会议 EUC08 最佳论文奖、作为主要参编人员著有《云计算工程》一书。

申请表下载




姓名:高凤娟

单位:南京理工大学

现任职:讲师

成为通信委员年度:2021年

界别:高校

个人简介:

2021年于南京大学博士毕业,2014年于电子科技大学本科毕业。博士期间的研究方向是软件工程,借助程序分析、人工智能等技术解决软件工程和软件安全的问题。博士期间发表论文10篇,一作6篇,CCF A类国际会议短文1篇、CCF-B类国际期刊1篇、中文一级学报3篇。获得了OOPSLA 2020 杰出论文奖。目前在南京理工大学计算机科学与工程学院任讲师。

申请表下载



姓名:宫丽娜

单位:南京航空航天大学

现任职:讲师

成为通信委员年度:2021年

界别:高校

个人简介:

宫丽娜,南京航空航天大学计算机科学与技术学院讲师,硕士生导师。2008年6月获中国石油大学(华东) 学士学位,2011年6月获中国石油大学(华东)硕士学位,2020年12月获中国矿业大学博士学位。攻读博士学位期间,赴加拿大Queen's University联合培养12个月,师从Ahmed E. Hassan(IEEE Fellow, NSERC Steacie Fellow)教授。主要从事经验软件工程、软件分析与测试、软件缺陷自动化检测、迁移学习、深度学习等方面的研究工作。在软件工程著名期刊和会议发表论文10余篇,包括ASE、IEEE Transactions on Reliability、Journal of Software: Evolution and Process及软件学报等著名刊物。

申请表下载



姓名:顾嘉辉

单位:华为技术有限公司

现任职:中央软件院可信使能部技术专家

成为通信委员年度:2021年

界别:工业界

个人简介:

2008年毕业于浙江大学软件工程专业,获学士学位。2008年7月起在华为公司工作。长期从事系统软件工作,工作内容集中在操作系统,系统虚拟化,系统安全等方向。目前在华为公司中央软件院负责华为公司系统软件安全能力构建工作,包括基础软件的安全竞争力规划和产品安全特性设计交付工作。

申请表下载



图片2

姓名:黄之鹏

单位:华为技术有限公司

现任职:昇腾开源生态总监

成为通信委员年度:2021年

界别:工业界

个人简介:

Univeristy of California, Irvine 硕士(Computer Engineering & Networked Systems)

华为昇腾开源生态总监, 同时担任启智OpenI社区、LFAI基金会、私密计算论坛等开源组织的技术委员会的委员职务, Kubernetes Policy工作组以及CNCF基金会安全兴趣组中Policy团队负责人, OpenStack Cyborg项目创始人, 并且带领团队参与ONNX, Kubeflow, Akraino等开源社区。曾经在OpenStack Summit、Cloud Native Con/KubeCon等国际顶级开源峰会进行过Keynote主题演讲,此外也在LinuxCon、RISC-V Summit等多个国际峰会进行议题分享。

申请表下载




姓名:晋武侠

单位:西安交通大学

现任职:助理教授

成为通信委员年度:2021年

界别:高校

个人简介:

申请人晋武侠,西安交通大学软件学院助理教授,硕士生导师。2018年在美国Drexel University Yuanfang Cai教授的指导下博士联合培养1.5年,2020年3月获得西安交通大学计算机科学与技术专业工学博士学位。目前工作于西安交通大学管晓宏院士和郑庆华教授领导的智能网络与网络安全教育部重点实验室。主要研究方向为软件工程和系统软件,在ICSE, ASE, TSE, JSS等权威国际期刊与国际会议上发表论文。目前担任TSE、 FSE、 ASE、软件学报等国际顶级期刊会议(sub reviewer)审稿人,主持国家自然科学基金青年基金项目、博后面上基金项目资助、企业横向项目。

申请表下载



姓名:李昌龙

单位:华东师范大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

本人博士毕业于中国科学技术大学,师从周学海教授,并在美国加州大学洛杉矶分校吕松武教授团队联合培养。后任职于华为终端操作系统部,期间本人提出的基于Swap的内存融合技术获得余承东总裁高度认可,并登上Mate40手机发布会;此外本人参与了自研手机操作系统中移动分布式文件系统的研发工作。2020年,本人开始在香港城市大学薛春教授团队担任博士后研究工作,并继续保持与华为等企业的密切合作,努力促成双方产学研的高效转化。本人的学术成果曾被美国西门子医疗全球副总裁Dorin Comaniciu以及Mario Gerla等多位IEEE/ACM Fellow引用。目前,本人以海内外公开招聘副教授身份加入华东师范大学,继续系统软件领域的研究工作。

申请表下载




姓名:李传艺

单位:南京大学

现任职:助理研究员

成为通信委员年度:2021年

界别:高校

个人简介:

2017.8 ~至今, 南京大学软件学院 助理研究员

2016.2 ~ 2017.2 美国德克萨斯州南卫理公会大学 公派访学

2012.9 ~ 2017.6, 南京大学软件学院博士

2008.9 ~ 2012.6, 南京大学软件学院本科

申请表下载



姓名:李锭

单位:北京大学计算机系

现任职:助理教授

成为通信委员年度:2021年

界别:高校

个人简介:

2011 年于北京大学获得学士学位,2016 年于美国南加州大学获博士学位,2016 年至 2020年于美国 NEC 研究院任研究员。2020 年加入北京大学任助理教授,博雅青年学者。研究方向为可执行程序分析及其在系统安全和软件工程等领域的应用。我针对现有方法准确性差,效率低,缺乏解释性和扩展性的问题,提出了多种基于人工智能的方法,扩展了现有技术的适用范围。工作被发表在 ccs,ndss,usenix security,icse 等顶会上。获 NEC 商业贡献奖和优秀发明奖。 被知名期刊 JSS 的评论文章评为 2010 到 2017 年度全球第二有影响力的青年软件工程研究人员。入选国家级青年人才计划。

申请表下载





姓名:李建欣

单位:北京航空航天大学

现任职:副院长

成为通信委员年度:2021年

界别:高校

个人简介:

现任北航计算机学院长聘教授、科研副院长,大数据科学与脑机智能高精尖创新中心研究员。

1997-2001:北航计算机系获工学本科学位;

2001-2008:北京航空航天大学计算机学院,获博士学位;2008年英国卢瑟福.阿普尔顿国家实验室访问,2011年微软亚洲研究院访问研究员,2015-2016年美国卡内基梅隆大学计算级学院机器学习系访问学者。

研究方向为数据分析与处理、可信计算等,在TC、TKDE、TDSC、WWW、IJCAI、VEE、ICDCS等发表学术论文100余篇,获AAAI 2021最佳论文奖,DependSys 2017最佳论文奖,曾获国家技术发明二等奖1项,国家科技进步二等奖2项,省部级科技进步一等奖4项,北京市教学成果一等奖1项;曾获“微软学者”和微软亚洲研究院“铸星计划”,北京市“科技新星”计划、教育部“新世纪优秀人才计划”和“青年长江学者”,中国电子学会优秀科技工作者(十佳)等。

申请表下载




微信图片_20211223220041

姓名:李姗姗

单位:国防科技大学计算机学院

现任职:教授

成为通信委员年度:2021年

界别:高校

个人简介:

2007. 12至今,国防科技大学计算机学院,教授,博士生导师 2014、01-2015. 01,明尼苏达大学访问学者。长期从事国产基础软件相关的科研工作,主要研究兴趣包括软件演化控制、智能软件开发等。 主持和参与多项科研项目,包括国家自然科学基金面上项目、国防973计划项目子课题、国 家重点研发课题等。在FSE、ASE、ICSE等领域内重要的国际会议与期刊上发表多篇学术论 文,获SANER 2018 Distinguish Paper Awardo获2019年国家科技进步二等奖,2019年湖 南省技术发明一等奖,2018年CCF自然科学二等奖,及军队科技进步一、二、三等奖各1 次。获2019年度NASAC青年软件创新奖。

申请表下载




姓名:李勇

单位:新疆师范大学计算机科学技术学院

现任职:人工智能研究所所长、副教授

成为通信委员年度:2021年

界别:高校

个人简介:

李勇,博士,新疆师范大学计算机学院副教授、硕导、人工智能研究所所长,获新疆“天山优青”人才项目资助。2018年博士毕业于南京航空航天大学计算机科学与技术专业,2021年至今在中国科学院新疆理化所(新疆电子研究所)从事博士后研究工作。近年来,主持国家自然科学基金项目1项、主持新疆自然科学基金等省部级科研项目6项,参与国家重点研发计划、国家自然科学基金等科研项目4项,在IEEE系列期刊、中国科学、软件学报以及电子学报等SCI/EI核心期刊发表学术论文20余篇,申请专利及软件著作权10项,获各类荣誉及奖励8项。

申请表下载



姓名:李元春

单位:清华大学智能产业研究院

现任职:助理研究员

成为通信委员年度:2021年

界别:高校

个人简介:

本人于2021年11月加入清华大学智能产业研究院,任助理研究员,之前分别于2014年和2019年于北京大学获得学士、博士学位,曾任微软亚洲研究院研究员、主管研究员。本人主要研究方向为智能系统软件、可信人工智能、普适计算软件等,已在相关领域发表二十余篇高水平学术论文,涵盖相关领域顶级会议如ICSE、FSE、ISSTA、UbiComp、MobiCom等,其中第一作者CCF-A类会议长文十余篇,研究工作获得UbiComp 最佳论文提名奖、IS-EUD 最佳论文奖等奖项,相关系统和工具在开源软件平台上被广泛应用。

申请表下载



姓名:李运喜

单位:中国航空工业集团公司西安航空计算技术研究所

现任职:副总工程师

成为通信委员年度:2021年

界别:研究所

个人简介:

2003年在南京航空航天大学计算机科学与技术获得本科,2010年在中国航空研究院631所计算机软件与理论专业获得工学硕士,当前在西北工业大学计算机学院读工程博士。

2003年进入中国航空工业集团公司西安航空计算技术研究所(以下简称航空工业计算所)工作,长期从事嵌入式操作系统、中间件及工具环境的研究、研发,2012年至2021年全面主持操作系统研发部门工作。主持10余项国家渠道的嵌入式操作系统相关课题,面向机载需求研制了天脉1/2/3系列化嵌入式操作系统,已在航空领域中规模应用。

现为航空工业计算所的副总工程师,主管单位的预先研究、操作系统,是航空工业集团嵌入式软件方向一级技术专家。

申请表下载




姓名:林子熠

单位:阿里巴巴有限公司

现任职:阿里云基础软件部技术专家

成为通信委员年度:2021年

界别:工业界

个人简介:

2012.9 - 2017.3 上海交通大学软件学院攻读博士

2013.9 - 2014.9 伊利诺伊大学香槟分校计算机系访问学者

2017.4 - 2018.11 华为技术有限公司高级工程师,参与方舟编译器研发,为前端负责人

2018.12 - 今   阿里巴巴有限公司阿里云基础软件事业部技术专家,负责Java静态编译技术的实现和应用

申请表下载



姓名:刘晓莉

单位:华为技术有限公司

现任职:资深合作经理

成为通信委员年度:2021年

界别:工业界

个人简介:

2005年入职华为,先后担任过(通信系统)软件设计师、系统架构师、产品经理等,主要负责通信系统协议的设计开发和维护。 2010 年起开始担任合作经理,目前担任高级合作经理职位, 负责基础软件领域技术合作事务,包括校企合作,生态和人才建设,同时也关注和负责基础软件领域的投资收购事务。

申请表下载



姓名:刘譞哲

单位:北京大学计算机科学技术系

现任职:软件研究所副所长

成为通信委员年度:2021年

界别:高校

个人简介:

2003年本科毕业于北京大学,同年攻读直博,师从梅宏教授,2009年博士毕业于北京大学。2011年进入北京大学工作,现任北京大学软件研究所副所长。主要从事服务计算、云计算、移动计算系统相关研究,在WWW、ICSE、MobiCom、EuroSys等发表论文70余篇,获WWW 2019最佳论文奖、《中国科学·信息科学》5年高影响力论文奖在内10次国际期刊/会议优秀论文。获教育部青年科学奖、青年长江学者、CCF-IEEE CS青年科学家奖等学术荣誉;获国家技术发明一等奖、教育部科技进步一等奖;研制的系统已取得大规模实际应用,产生良好的社会经济效益;担任WWW、ICSE、ICDCS等会议TPC。

申请表下载




姓名:刘峥

单位:阿里云

现任职:资深技术专家

成为通信委员年度:2021年

界别:工业界

个人简介:

本人分别在2008年、2011年于首都师范大学获得学士、硕士学位。硕士毕业同年进入阿里巴巴集团,现就职于阿里云智能-系统软件部-操作系统团队。工作期间主要负责阿里云操作系统、云计算基础设施和云原生底层系统相关的系统软件和产品研发工作。当前工作主要聚焦于MLSys领域。

申请表下载



姓名:陆杰

单位:中国科学院计算技术研究所

现任职:助理研究员

成为通信委员年度:2021年

界别:工业界

个人简介:

2014年于四川大学获得学士学位,2020年于中国科学院计算技术研究所获得博士学位。主要从事大规模系统的可靠性和安全性研究。相关工作以第一作者或通讯作者身份发表于SOSP、FSE、TSE、CGO、SANER等国际会议、期刊上。研究工作中提出的研究方法为开源工具(如HBase、Hadoop)发现上百个缺陷或漏洞。

申请表下载



姓名:罗秋明

单位:深圳大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

罗秋明,深圳大学计算机与软件学院副教授。毕业于华中科技大学,获计算机系统结构专业工学博士学位。主要研究方向为系统软件和高性能计算。现任深圳市服务计算与应用重点实验室副主任。

独立完成系统软件系列专著5本(清华大学出版社):《OpenMP编译原理及实现技术》、《Linux技术内幕》、《操作系统之编程观察》、《Linux GNU C程序观察》、《操作系统原型——xv6源码分析与实验》等,译有《Intel Parallel studio 环境下的并行程序设计》。

参与“基于自主龙芯CPU的个人高性能计算机研制及其基础软硬件”工作,获教育部2014年科技进步二等奖。

现研究基于数据流执行模型的DFC语言、运行环境以及相应的操作系统。

申请表下载




姓名:毛嘉莉

单位:华东师范大学

现任职:教授

成为通信委员年度:2021年

界别:高校

个人简介:

2004 年毕业于重庆大学,获硕士学位,2018 年毕业于华东师范大学,获博士学位,同年加入华东师范大学数据科学与工程学院,现任教授、博士生导师。研究领域包括时空数据管理、物流科技(LogTech)等。近年来在国际学术会议/期刊上发表 40 余篇 SCI/EI 收录的学术论文,出版学术专著 1 部。现主持国家自然科学基金 2 项、横向课题 2 项,经费总额 431万,授权发明专利 3 项。获上海市科技进步奖一等奖、《软件学报》高影响力论文奖、中国数据库学术会议萨师煊优秀论文奖等学术奖励。

申请表下载



姓名:曲海鹏

单位:中国海洋大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

1999.9-2002.7 中国海洋大学 计算机应用技术 硕士

2002.9-2006.3 中国科学院软件研究所 计算机软件与理论 博士

2006.3至今 中国海洋大学信息学院 讲师、副教授、计算机科学与技术系副主任

2020.6至今 中国海洋大学信息学部 计算机科学与技术学院副院长

申请表下载



姓名:沈立炜

单位:复旦大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

沈立炜,博士,复旦大学计算机科学技术学院,副教授

申请表下载



姓名:沈志荣

单位:厦门大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

沈志荣,厦门大学信息学院特任研究员和副教授,厦门大学信息学院院长助理,分别入选2019年厦门大学“南强青年拔尖人才计划”、2017年香港中文大学优秀博士后支持计划“Research Fellowship Scheme”和2017年“香江学者”计划(全国遴选60名优秀博士后至香港联合培养)。2016年博士毕业于清华大学计算机系存储实验室(导师:舒继武教授),2017年至2019年于香港中文大学计算机科学与工程学系开展博士后研究(合作导师:Patrick P.C. Lee教授),主要关注网络(云/大数据)高可靠存储技术和系统。一共发表CCF-A/B学术论文40多篇,包括USENIX ATC’21、INFOCOM’21/20、DSN’19/16/14、ICDCS’21/20、SRDS’20/17/16/15、IPDPS’21/20等重要国际会议和IEEE TC’20/18、IEEE TPDS’21/20/19/18/17/16、IEEE TDSC’20等国际顶级期刊,获得SRDS’20最佳论文奖和SRDS’15最佳论文提名奖等学术奖项。

申请表下载




姓名:石琳

单位:中国科学院软件研究所

现任职:副研究员

成为通信委员年度:2021年

界别:研究所

个人简介:

2018年至今,中国科学院软件研究所,副研究员

2015年-2018年,中国科学院软件研究所,助理研究员

2015年-2016年,美国南加州大学,系统与软件中心,交流访问学者

2008年-2015年,中国科学院软件研究所,计算机软件与理论,博士学位

2004年-2008年,南京大学,软件工程专业,学士学位

申请表下载



姓名:司徒凌云

单位:南京大学信息管理学院

现任职:助理研究员

成为通信委员年度:2021年

界别:高校

个人简介:

司徒凌云于2020年在南京大学计算机科学与技术系获工学博士学位,导师为李宣东、王林章教授。目前就职于南京大学信息管理学院,任助理研究员。

申请表下载



姓名:孙大为

单位:中国地质大学(北京)

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

申请人2012年于东北大学计算机系统结构专业博士毕业;2015年于清华大学计算机系博士后出站,2015年至今在中国地质大学(北京)信息工程学院任副教授,博士生导师。主要开展大数据计算、分布式系统等方面的研究。近5年来,申请人主持国家自然基金项目2项,以第一或通讯作者在FGCS、JCSS、BROADNETS 2021、HPCC 2019等国际期刊或会议上发表论文20余篇。入选北京市国家治理青年人才计划(2018),入选中国地质大学(北京)第六批“求真学人”计划(2020),荣获“朱训青年教师奖”(2018),两度荣获“中国百篇最具影响国内学术论文”奖(2016、2019)。

申请表下载



姓名:汤战勇

单位:西北大学信息科学与技术学院

现任职:

成为通信委员年度:2021年

界别:高校

个人简介:

汤战勇,西北大学教授,博士生导师。目前担任西北大学-爱迪德信息安全实验室副主任,主要研究方向为系统与软件安全、无线感知识别与认证。主持国家面上项目和重点研发等多项课题,近年来在PLDI、CCS、MOBICOM、PACT、NDSS、INFOCOM、UBICOMP、SenSys和以及TIFS、TOPS、TON上发表多项相关研究成果,其中获CCS'18和SenSys'19最佳论文提名,部分研究被英国《泰晤士报》、美国《福布斯》以及国内主流媒体广泛报道,并在蚂蚁集团、华为2012实验室、腾讯等企业落地应用。2018年获陕西省科学技术二等奖,2019年获ACM China新星奖(西安)。

申请表下载



姓名:唐宇田

单位:上海科技大学

现任职:助理教授、研究员

成为通信委员年度:2021年

界别:高校

个人简介:

唐宇田博士2013年于吉林大学计算机科学与技术学院获得学士学位,2018年于香港理工大学获得博士学位。2018-2020年分别在香港理工大学、香港城市大学担任博士后研究员。于2020年10月全职加入上海科技大学担任助理教授、研究员。

申请表下载



姓名:田东海

单位:北京理工大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

申请人博士毕业于北京理工大学,研究方向集中在虚拟化软件安全领域,主要关注系统软件安全、虚拟化技术、云计算安全等方面。现为北京理工大学计算机学院副教授、硕士生导师。近年来作为项目负责人主持了多项虚拟化安全相关科研课题,包括:国家自然科学青年基金、CCF-绿盟科技“鲲鹏”科研基金、信息安全国家重点实验室开放课题、中科院网络评测技术重点实验室开放课题、上海市信息安全综合管理技术研究重点实验室开放课题。作为学校软件安全工程技术北京市重点实验室骨干成员参与了国家重点研发计划、国防基础研究计划等多个国家级和部级科研项目。目前以第一作者(或通信作者)在IEEE Transactions on Cloud Computing、Software: Practice and Experience、Computer Networks、FGCS、NDSS、ISC、SecureComm等国内外重要期刊和会议上发表论文20余篇,其总引用数超过200次,授权国家发明专利3项,独立出版虚拟化软件安全学术专著1本。

申请表下载




姓名:童浩楠

单位:北京交通大学

现任职:讲师

成为通信委员年度:2021年

界别:高校

个人简介:

2021.12-至今 北京交通大学 软件学院 讲师

2015.9-2021.8 北京航空航天大学 可靠性与系统工程学院 系统工程专业 博士

2012.9-2015.3 北京航空航天大学 可靠性与系统工程学院 控制科学与工程专业 硕士

2008.9-2012.7 河南工业大学 理学院 信息与计算科学专业 学士

主要研究方向为软件缺陷预测、软件可靠性、机器学习算法与理论。目前以第一作者身份分别在软件工程领域著名期刊IEEE Transactions on Software Engineering和Information and Software Technology各发表SCI论文一篇。

申请表下载



姓名:王博

单位:北京交通大学计算机学院

现任职:讲师

成为通信委员年度:2021年

界别:高校

个人简介:

2021年1月博士毕业于北京大学,导师熊英飞;硕士毕业于中国科大;本科毕业于中南大学。2021年3月入职北京交通大学计算机学院,目前担任讲师。研究方向主要包括软件分析与软件测试,发表论文获得ISSTA 2017 ACM SIGSOFT 杰出论文奖。

申请表下载



姓名:王慧妍

单位:南京大学计算机科学与技术系

现任职:特任助理研究员

成为通信委员年度:2021年

界别:高校

个人简介:

2021年7月:加入南京大学计算机科学与技术系,担任助理研究员;

2021年6月:南京大学计算机科学与技术系工学博士毕业,软件工程方向,主要研究环境感知智能软件的高效质量保障;

2015年6月,南京大学计算机科学与技术系理学学士毕业。申请表下载



姓名:王莹

单位:东北大学软件学院

现任职:副教授、院长助理

成为通信委员年度:2021年

界别:高校

个人简介:

王莹博士,现为东北大学软件学院副教授、院长助理,CCF 女工委委员。2019 年 1 月于东北大学获得软件工程专业博士学位,2019 年 2 月以引进副教授人才方式留校任教。荣获微软研究院铸星计划访问学者(2020)、中国计算机学会优秀博士论文提名奖(2020)、辽宁省优秀博士论文奖(2021)、ACM SIGSOFT 杰出论文奖(ICSE 2021)。主要研究方向为开源社区依赖治理技术、软件生态演化分析、软件测试与重构技术。

申请表下载



姓名:王豫

单位:南京大学计算机科学与技术系

现任职:助理研究员

成为通信委员年度:2021年

界别:高校

个人简介:

2021年于南京大学博士毕业,2014年于电子科技大学本科毕业。博士期间的研究方向是软件工程,借助程序分析、人工智能等技术解决软件工程和软件安全的问题。博士期间发表论文10篇,一作7篇,CCF A类国际会议期刊3篇、CCF-B类国际期刊1篇、中文一级学报4篇。获得了OOPSLA 2020 杰出论文奖。目前在南京大学计算机科学与技术系任助理研究员。

申请表下载



姓名:王肇国

单位:上海交通大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

上海交通大学(长聘教轨)副教授,博士生导师。2014年博士毕业于复旦大学。先后在纽约大学担任博士后研究员,研究助理教授。2018年3月正式加入上海交通大学并行与分布式系统研究所担任(长聘教轨)副教授。主要研究并行与分布式系统中,如何同时满足一致性与可扩展性的跷跷板问题。近年共发表论文和期刊20篇,其中 CCFA类会议/期刊13篇(包括 OSDI,NSDI,SIGMOD,PPoPP 等),论文被引用532 次(Google Scholar 统计),申请人还获得了 ACM APSys 2017 最佳论文奖和华为奥林帕斯奖(排名第二)。

申请表下载



姓名:文艳军

单位:国防科技大学

现任职:教授

成为通信委员年度:2021年

界别:高校

个人简介:

1997 年 7 月获国防科技大学计算机学院学士学位,后在同一学院学习,2000 年 3 月获硕士学位,2005 年 6 月获博士学位并留校任讲师,2009 年 12 月晋升副教授,2020 年 12 月晋升教授。主要从事操作系统方面的教学工作和软件设计与验证、操作系统漏洞挖掘、程序理解方面的科研工作。负责承担国家自然科学基金课题、重点项目子课题、集成项目子课题多项。

申请表下载



姓名:吴恒

单位:中国科学院软件研究所

现任职:副高级

成为通信委员年度:2021年

界别:研究所

个人简介:

中国科学院软件研究所,博士,在 IPDPS、ICPP、JCST、软件学报、计算机学报等国内外学术刊物或会议上共发表论文近 30 篇。作为负责人或技术骨干先后参与多项国家重点研发计划课题(子课题)、国家自然科学基金等项目等。现担任 Journal of World Wide Web、Frontiers of Computer Science、软件学报等多个学术期刊审稿人。技术成果转化到阿里巴巴、浪潮、联想,并在国内 10 多个省市金融领域广泛应用。

申请表下载



姓名:吴荣鑫

单位:厦门大学信息学院

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

2019-09 至现在,厦门大学,信息学院,副教授 2017-09 至 2019-08,香港科技大学,计算机科学与工程系,博士后

2012-08 至 2013-07,香港科技大学,计算机科学与工程系,助理研究员

2013-09 至 2017-11,香港科技大学,计算机科学与工程系,博士

2009-09 至 2012-07,清华大学,软件学院,硕士

2005-09 至 2009-07,东北大学,软件学院,本科

申请表下载



姓名:夏虞斌

单位:上海交通大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

在复旦大学软件学院获本科学位,在北京大学计算机系获博士学位,目前在上海交通大学软件学院任副教授、博导。

申请表下载



姓名:谢国琪

单位:湖南大学

现任职:教授

成为通信委员年度:2021年

界别:高校

个人简介:

谢国琪2014年博士毕业于湖南大学计算机科学与技术专业,2014-2015年在日本名古屋大学从事博士后研究,师从日本著名嵌入式操作系统TOPPERS创始人高田広章教授,2017年聘为湖南大学副教授,2018年获得 IEEE TCSC优秀青年学者奖(Early Career Researcher Award),2020年破格晋升为湖南大学教授、博导,2021年评为湖南省普通高校青年骨干教师;主要研究兴趣为嵌入式计算系统、实时系统、信息物理系统(CPS)、汽车电子;以第一作者在CCF A类会议与IEEE/ACM Transactions期刊发表论文30多篇,出版专著1本;担任JSA、JCSC、MICPRO三个SCI期刊的编委、中国工程院院刊信息与电子工程前沿(FITEE)首批通讯专家、RTSS等顶级国际会议的程序委员会成员;主持了纵/横向项目多项,完成了多款嵌入式汽车应用的研发。

申请表下载




姓名:谢晓兰

单位:桂林理工大学

现任职:信息科学与工程学院院长

成为通信委员年度:2021年

界别:高校

个人简介:

谢晓兰,女,教授,博士,博士生导师。现担任桂林理工大学信息科学与工程学院院长一职。

英国Middlesex大学访问学者。广西高校计算机类教指委委员。受教育状况:在中南大学获学士学位,专业:计算机科学与技术;上海海事大学获硕士学位,专业计算机技术;西安电子科技大学,获博士学位,专业:机械制造及其自动化。

1、主持2015年度国家自然科学基金《基于信任的混合云服务调度关键技术与方法研究》

2、主持2017年度国家自然科学基金《混合云任务调度中的信任机制研究》;

3、主持2013年度国家高技术研究发展计划(863计划)课题:《基于云计算技术的异构空间信息协同标绘知识系统及空间信息分析云中间件研究》;

4、主持2018年度国家重点研发计划《基于多源信息的TSSC和可视化表达技术》子课题《ZC火灾TSSC可视化软件》

5、主持2019年度广西创新驱动重大专项《面向OPM模式的电子智造业智慧服务平台研发及应用示范》;

6、主持2013年广西自然科学基金《混合云环境下信任关键技术研究》;

7、主持2018年度广西重点研发计划项目《电动车实时追踪监控系统》;

主持2017年度广西重点研发计划项目《大数据可视化社会安全情报一体化监控指挥平台》

9、主持2013年广西信息服务业发展专项《基于云计算和智能手机的企业关键价值信息的数据挖掘、优化和推送服务》

10、主持2015年广西信息服务业发展专项《基于hadoop的车辆底盘海量数据分析与处理及客户服务》

申请表下载



姓名:辛奇

单位:武汉大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

申请人2011年本科毕业于大连理工大学,2012年硕士毕业于美国莱斯大学,2018年博士毕业于美国布朗大学。2018至2021年在美国佐治亚理工学院做博士后,从事软件工程方面的研究。研究方向为软件调试、测试、程序分析。致力于开发自动化的技术降低软件开发和维护的难度,提高软件质量和安全。近5年发表程序优化分析领域论文14篇,含5篇CCF-A类论文。申请人是美国布朗大学博士奖学金和ACM SIGSOFT CAPS奖获得者,在多个A类会议做过报告,并且为包括TSE和TOSEM等A类期刊做过审稿人。

申请表下载



姓名:徐经纬

单位:南京大学计算机科学与技术系

现任职:特任副研究员

成为通信委员年度:2021年

界别:高校

个人简介:

2020年12月-至今:南京大学计算机科学与技术系,特任副研究员;

2017年12月-2020年11月:南京大学计算机科学与技术系,特任助理研究员;

2017年12月:南京大学计算机科学与技术系工学博士毕业,软件工程方向,主要研究智能化软件的质量保障;

2012年6月,南京大学计算机科学与技术系,工程硕士;

2009年6月,南京邮电大学计算机学院,软件工程,工学学士。

申请表下载



姓名:徐悦甡

单位:西安电子科技大学

现任职:副教授/软工系支部副书记/软工学科方向秘书

成为通信委员年度:2021年

界别:高校

个人简介:

1. 教育背景:2007~2011,西安电子科技大学,软件工程,本科;2011~2016,浙江大学,计算机科学与技术,博士,导师:尹建伟教授;2014~2015,伊利诺伊大学芝加哥分校,联合培养博士生,导师:Bing Liu教授

2. 工作背景:2016~2020,西安电子科技大学,计算机科学与技术学院,讲师。2020~至今,计算机科学与技术学院,副教授

3. 目前任职:西安电子科技大学,计算机科学与技术学院,软件工程系党支部副书记,软件工程专业卓越班班主任,软件工程学科方向秘书

申请表下载



姓名:杨子江

单位:西安交通大学

现任职:教授

成为通信委员年度:2021年

界别:高校

个人简介:

宾夕法尼亚大学(Univ. of Pennsylvania)博士,赖斯大学(Rice Univ.)硕士,中国科学技术大学学士。西安交通大学教授、博导,清华交叉信息核心技术研究院可信人工智能中心主任。深信科创创始人。主要研究领域为软件测试、形式化验证、自动驾驶软件系统。

申请表下载



姓名:余杰

单位:国防科技大学计算机学院

现任职:研究员

成为通信委员年度:2021年

界别:高校

个人简介:

01年本科考入国防科技大学计算机学院,2010年博士毕业后留校工作。历任助理研究员、副研究员、研究室副主任、主任,现为计算机学院基础软件工程研究中心副主任、研究员。长期从事操作系统研究工作,主持和完成国家、军队科研项目10余项,实现了高可靠体系结构、轻量级桌面环境、运行环境兼容、显示性能优化等技术突破,取得了优麒麟开源操作系统、银河麒麟桌面操作系统、银河锐华移动操作系统等成果,为我国自主操作系统的研制和推广作出了贡献。获国家科技进步一等奖1项,省部科技进步一等奖2项,申请发明专利10余项;发表学术论文70余篇(其中SCI检索10篇、EI检索35篇),第一作者16篇(CCF推荐会议4篇、推荐期刊2篇)。获中国杰出开源人物、中国开源先锋人物等称号,入选国防科技大学领军人才和军队某高层次人才工程。

申请表下载




姓名:翟季冬

单位:清华大学

现任职:副所长

成为通信委员年度:2021年

界别:高校

个人简介:

清华大学计算机系长聘副教授,博士生导师。2015-2016在斯坦福大学计算机系任访问助理教授。清华大学超算团队指导教师,2015年和2018年指导的清华大学超算团队包揽了SC, ISC, ASC三大国际超算竞赛的冠军。主要研究领域为高性能计算,编程模型,编译优化。相关研究成果发表在高性能计算领域的重要会议和期刊,如SC,PPoPP,OSDI,CGO,HPDC,TPDS,TC等。博士论文获2010年中国计算机学会优秀博士学位论文和清华大学优秀博士学位论文。获教育部科技进步一等奖和中国电子学会电子信息科技一等奖。

申请表下载



姓名:张超

单位:清华大学

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

2004.9-2008.7,北京大学,本科;

2008.9-2013.7,北京大学,博士;

2013.9-2016.9,UC Berkeley,博士后;

2016.11-今,清华大学,网络研究院,副教授;中科院信工所客座研究员;中科院网络测评技术重点实验室学术委员会委员;中国青年科技工作者协会理事;中国人工智能学会人工智能与安全专委会常务委员;InForSec网安国际学术论坛技术委员会委员;天府杯、WCTF等国际知名的网络安全挑战赛裁判。

申请表下载



姓名:张明明

单位:浙江省北大信息技术高等研究院

现任职:研究员

成为通信委员年度:2021年

界别:研究所

个人简介:

申请人于2007年获南京财经大学学士,2013年于北京航空航天大学硕转博,2019年获北京航空航天大学博士。申请人是北京大学信息技术高等研究院研究员,数据驱动软件开发实验室副主任,CCF会员。读博期间作为国家公派访问学者赴美国伊利诺伊大学香槟分校(UIUC)计算机系学习2年。曾在北美多家科技企业任职系统架构师及技术总监,主持建设过多项日均承载数据量达TB级的大数据与人工智能平台。研究领域主要集中在低代码与大数据人工智能融合,包括大规模分布式商务智能平台中的数据与计算融合技术、基于泛在操作系统的大数据操作系统技术等。参与承担过国家自然科学基金重大研发计划、863计划、973计划等重要课题。以第一作者发表SCI/EI论文10余篇,获得发明专利5项。

申请表下载




姓名:张鹏程

单位:河海大学

现任职:系主任

成为通信委员年度:2021年

界别:高校

个人简介:

博士,河海大学计算机与信息学院教授、博士生导师,软件工程系主任。IEEE会员,中国计算机学会高级会员,服务计算专委会委员。曾先后应邀在澳大利亚斯威本科技大学、意大利拉奎拉大学、香港理工大学、美国圣荷西州立大学等地访问学习。负责主持或完成国家自然科学基金、教育部博士点基金、中国博士后基金等10余项。获2011年度东南大学优秀博士论文、2012年度中国博士后特别资助、2013年湖北省科技进步一等奖、2014年教育部科技进步一等奖。在国际学术期刊TSC、TBD、TETC、TCC、IST、SPE、JSS等,国内权威学术期刊中国科学:信息科学、软件学报、计算机研究与发展和国际学术会议ESEC/FSE、ASE、ICWS等上发表相关学术论文70余篇。申请发明专利近20项,授权10余项。

申请表下载




姓名:张旸旸

单位:中国电子技术标准化研究院

现任职:正高级工程师

成为通信委员年度:2021年

界别:研究所

个人简介:

2015年毕业于中科院研究生院,硕士,正高级工程师。主要研究领域:信息技术标准化战略研究,软件与系统工程理论、方法及标准化研究,工业软件产业与标准化研究。成果及奖项:牵头获得国家国防科技进步二等奖、中国电子学会科技进步三等奖各1项;获授权发明专利1项;出版书籍4本;牵头/组织制定国家标准、行业标准、军用标逾百项,作为联合编辑,制定ISO/IEC标准10多项。主要任职:ISO注册专家,ISO/IEC JTC1/SC7“软件与系统工程分技术委员会”中国代表团团长,国家标准技术审查专家,全国信标委软件与系统工程分技术委员会秘书书处负责人,全国信标委工业APP标准工作组秘书处负责人。

申请表下载



姓名:张一鸣

单位:国防科大计算机学院

现任职:副教授

成为通信委员年度:2021年

界别:高校

个人简介:

张一鸣,博士,国防科大副教授,主要从事系统软件技术研究。作为第一作者和通讯作者,近五年在系统领域的重要期刊和会议(例如TOCS、TOS、TON、NSDI、FAST、EuroSys、ATC、VLDB等)发表多篇论文。成果在天河超算、阿里云等军用和民用关键系统中得到应用。担任IEEE TSC编委, IEEE BDPS、JointCloud、LSCA等会议主席,ICDCS、ICWS、AAAI等PC委员。获国家科技进步二等奖、湖南省自然科学一等奖、CCF优博论文奖等。

申请表下载



姓名:张颖君

单位:中国科学院软件研究所

现任职:副研究员

成为通信委员年度:2021年

界别:研究所

个人简介:

本人于2010年在中国科学院研究生院(信息安全国家重点实验室)获得博士学位,师从冯登国院士。之后,一直在中国科学院软件研究所工作。长期从事系统与软件安全相关研究,主持或参与国家自然科学基金重点项目、中国科学院信息化专项、国家863计划等20余个项目,在ICSE、TMC、S&P、中国科学等高水平期刊、会议发表相关论文30余篇,参与国家标准制定1项,并获得北京市科学技术一等奖。

申请表下载



姓名:张智轶

单位:南京航空航天大学

现任职:讲师

成为通信委员年度:2021年

界别:高校

个人简介:

2016年10月获得南京大学应用软件工程博士学位。近年来主持国家自然科学基金、江苏省自然科学基金和教育部产学合作协同育人等项目8项,以项目骨干身份参与国家重点研发计划、全军共用信息系统装备预研项目等项目。在《IEEE Transactions On Reliability》等国内外重要学术期刊和国际会议等发表论文20余篇,申请20余项,已授权6项。从2016年10月在南京航空航天大学计算机科学与技术学院担任助理教授。

申请表下载



姓名:赵来平

单位:天津大学

现任职:

成为通信委员年度:2021年

界别:高校

个人简介:

1)教育经历:

2009-2012,日本九州大学,系统信息科学学院,博士,导师:樱井幸一2007-2009,大连理工大学,软件学院 ,硕士,导师:李明楚

2003-2007,大连理工大学,软件学院,学士。

2)工作背景:

2016-至今,天津大学智能与计算学部,副教授

2012-2016,天津大学软件学院,讲师

3)目前任职:

天津市先进网络技术与应用重点实验室云计算组负责人。

申请表下载



姓名:郑炜

单位:西北工业大学

现任职:

成为通信委员年度:2021年

界别:高校

个人简介:

西北工业大学软件学院,博士(博士后),副教授,CCF软件工程专委会委员,中国汽车软件测试工作组成员。主讲课程:软件测试、软件工程,操作系统。研究方向:软件测试,软件漏洞检测,形式化验证。在软件工程领域顶级期刊(如TOSEM,TSE,JSS,IST,TR,软件学报,计算机研究与发展等)和顶级会议(ICSE、FSE)发表论文30余篇。 主持、参与国家863,973、自然基金等项目六项。与研究所进行多个项目合作(504所、20所、618所、203所、504所),主要涉及第三方软件测试、形式化验证,软件工具、测试平台研发等。主讲的《软件测试》课程在学堂在线、中国大学生慕课等平台上线并选为2019年陕西省精品课程,其中《软件测试》教材被五十多个学校选用,销售超过12000册,第二版获得工信部十四五推荐教材。数传仿真测试平台,获得2020年陕西省科技工作者创新创业大赛二等奖,排名一。

申请表下载



姓名:钟浩

单位:上海交通大学

现任职:副研究员

成为通信委员年度:2021年

界别:高校

个人简介:

钟浩,上海交通大学副研究员。2009年毕业于北京大学。曾多次担任ICSE、ESEC/FSE、ASE、OOPLSA、ICSME等会议程序委员会委员。在ICSE、TSE、ASE等知名会议和期刊发表论文70余篇,其中CCF A第一作者论文10篇。谷歌学术引用1977次,其中单篇超过100次引用的第一作者5篇。研究主要集中在缺陷检测和软件演化两个方面。

申请表下载



姓名:周喆

单位:复旦大学

现任职:青年副研究员

成为通信委员年度:2021年

界别:高校

个人简介:

2017年博士毕业于香港中文大学信息工程系,2013年本科毕业于湖南大学信息科学与工程学院通信工程专业;毕业后加入复旦大学计算机学院任青年副研究员,目前主要研究兴趣有操作系统安全、Linux内核优化。周喆老师在系统安全四大会议上发表多篇论文,并担任ACM CCS 2018、2019两届PC成员;周喆老师还曾在Black Hat黑帽大会上展示系统安全相关工作。

申请表下载



图片1

姓名:薛栋梁

 

单位:上海交通大学

现任职:助理研究员

成为通信委员年度:2017

界别:高校

个人简介:

薛栋梁,博士,CCF会员,现为上海交通大学计算机科学与工程系助理研究员,主要研发方向为工业软件,系统软件,分布式系统及云计算。发表CCF A类会议论文及期刊论文多篇,获得2020年度上海市技术发明奖一等奖,排名第6。当前在研的系统软件方向的项目有:

“面向物联网应用的泛在操作系统实现方法及其关键技术研究”获得2019年度上海交通大学新进青年教师启动计划资助;“面向非易失内存的页面动态管理机制研究”获得2021年度上海市自然科学基金面上项目资助。

申请表下载


薛栋梁






李青山


单位:西安电子科技大学

现任职:教授、院党委书记

成为通信委员年度:2021年

界别:高校

个人简介:

本人于2003年在西安电子科技大学获得工学博士学位。目前担任西安电子科技大学教育部省级重点学科“软件工程”学术带头人、西安市智能软件工程重点实验室主任,享受陕西省“三秦人才”津贴;任全国工程专业学位研究生教育指导委员会软件工程领域协作组成员、陕西省计算机学会软件工程专委会副主任等。主要从事逆向工程与软件演化、自主可控系统、特定领域软件工程等方向研究工作,主持国家科技部重大研发计划课题、国家863重大项目课题、国家自然科学基金面上项目等科研项目五十余项。在ICSE、ESEC/FSE、《软件学报》等CCF A类会议和软件工程顶级会议期刊发表论文100余篇,授权/公开发明专利30余项。

申请表下载

图片4






郑圣安

单位:上海交通大学

现任职:助理教授

成为通信委员年度:2017年6月20日

界别:高校

个人简介:

本人分别于2014年和2019年在上海交通大学计算机科学与工程系取得工学学士和工学博士学位,攻读博士学位期间在导师梅宏院士的指导下从事持久内存文件系统方面的研究。申请人曾受国家留学基金委资助赴美国加州大学圣地亚哥分校进行为期一年的公派联合培养。申请人参与多项国家级科研项目,包括国家863 计划项目“面向大数据的内存计算关键技术与系统”、国家863 计划课题“内存计算系统软件研究与开发”以及国家自然科学基金面上项目等多项项目的申请与研发工作。在博士后阶段,申请人在合作导师清华大学舒继武教授的指导下参与国家重点研发计划“TB 级持久性内存存储技术与系统”,继续在系统软件领域进行研究。目前申请人在上海交通大学任助理教授。

申请表下载

1











图片3

张晓东


单位:西安电子科技大学

现任职:教授

成为通信委员年度:2021

界别:高校

个人简介:

2021-04-27加入CCF专业会员,过去为专委所做工作略少,但以后愿意为专委做出服务与贡献。西安交大攻读博士期间,指导老师为郑庆华教授,刘烃教授,杨子江教授。二,华为工作期间,工作于原北京大学教授王千祥团队(华为云软件分析lab)。三,西电工作期间,加入沈玉龙教授团队,主攻软件系统安全。

设想与贡献:

自身要致力于系统软件安全的科学研究,志愿并积极地为专委所主持的学术活动服务。



申请表下载


2








图片