2020年度 CCF系统软件专委会委员候选人简况

 


姓名:蔡卓炜

单位:上海陆金所

现任职:移动研发部经理

成为通信委员年度:2017年

界别:工业界

个人简介:

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

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

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


申请表下载  

                                                

   

姓名:齐洪钢


单位:中国科学院大学

现任职:副教授

成为通信委员年度:2017年

界别:高校

个人简介:

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

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

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

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

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

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

 

申请表下载

                                                

       

姓名:王璐璐

单位:东南大学

现任职:副教授

成为通信委员年度:2018年

界别:高校

个人简介:

2002.9-2006.6,东南大学计算机学院本科;

2006.9-2012.6,东南大学计算机学院博士(软件方向);

2012.7-今,东南大学计算机学院任教,主要研究方向为程序分析和测试

 

申请表下载

                                                

       

  

姓名:谢山青


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

现任职:项目经理

成为通信委员年度: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年

界别:高校

个人简介:

现任职于中山大学数据科学与计算机学院。

2016年6月于西安交通大学计算机科学与技术系获博士学位。

2012年7月-2012年11月作为“明日之星”在微软亚洲研究工作实习;

2016年6月-2018年1月在IBM中国研究员云计算部门担任研究员;

2017年2月-2017年4月作为访问研究员在IBM T.J. Watson研究中心工作。

主要方向为:分布式系统、智能运维( AIOps)、微服务、云计算、AI系统优化、软件可靠性、区块链等。近年来在国际会议和期刊共发表30余篇论文,其中SCI论文6篇,中科院一区及CCF A类会议和期刊论文5篇,同时担任多个国际期刊和会议的审稿人。

 

申请表下载

                                                

 

姓名:李诚


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

现任职:特任研究员

成为通信委员年度: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年

界别:工业界

个人简介:

绿茶Java用户组(GreenTeaJUG)负责人。目前在滴滴出行基础平台部机器学习平台,负责滴滴内部机器学平台和对外输出。加入滴滴之前在阿里服务7年,从事Java虚拟机研发。加入阿里之前在甲骨文亚太研发中心服务3年,从事嵌入式数据库研发。2007年硕士毕业于西安电子科技大学计算机系统结构专业。2004年本科毕业于西安电子科技大学。

 

申请表下载

                                                

 


 

姓名:宋富


单位:上海科技大学

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

成为通信委员年度:2019年

界别:高校

个人简介:

教育背景:2009年12月–2013年4月  巴黎狄德罗大学博士学位

2007年 3 月–2009年6月l华东师范大学硕士学位

2002年 9 月–2006年6月l宁波大学学士学位

工作背景:

2016年8月– 至今上海科技大学,助理教授、研究员、博导

2016年1月– 2016年7月  华东师范大学,副研究员

2013年8月– 2015年12月  华东师范大学,讲师


申请表下载

                                                

       


姓名:武延军


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

现任职:副总工、主任

成为通信委员年度:2019年

界别:研究所

个人简介:

1997.9-2001.7,清华大学计算机系,计算机科学与技术专业,学士学位

2001.9-2006.7,中国科学院软件研究所,计算机软件与理论专业,博士学位

2006.7-2008.10,中国科学院软件研究所,助理研究员,其中2007-2008美国纽约州立大学石溪分校计算机系,博士后

2008.11-2012.7,中国科学院软件研究所,副研究员

2012.7-2017.9,中国科学院软件研究所,正高级工程师,期间曾任总体部副主任

2017.6-至今,中国科学院软件研究所,研究员,副总工

2018.5-至今   中国科学院软件研究所,副总工、智能软件研究中心主任

 

申请表下载

                                                



   

姓名:肖臻


单位:北京大学计算机系

现任职:研究员

成为通信委员年度: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年

界别:高校

个人简介:

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

 

申请表下载

                                                

 

姓名:常瑞

单位:浙江大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

博士毕业于解放军信息工程大学计算机科学与技术专业,现任浙江大学计算机科学与技术 学院/网络空间安全学院副教授、博士生导师、信息安全系副主任,研究方向为操作系统安全/体系结构安全/形式化方法。入职浙大前曾在解放军信息工程大学任教十余年,长期从事 操作系统、计算机体系结构等方向的教学和科研工作。荣获省部级科技进步二等奖2项、省部级教学成果一等奖1项,获ACM中国优博论文分会奖,曾获评全军优秀教师。

 

申请表下载

                                                


  

姓名:陈刚

单位:中山大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

陈刚, 副教授,博士生导师 , 入选中山大学百人计划。博士毕业于慕尼黑工业大学计算机系。分别于2008年、2011年于西安交通大学获得生物医学工程专业工学学士、数学与应用数学专业理学学士(双学位)、控制科学与工程专业工学硕士学位。在近 5 年来在相关领域的国内外学术会议及期刊上发表40+篇论文,其中在在 DAC,RTSS,CODES+ISSS,DATE EMSOFT等顶级会议和 TII,TC,TPDS,TCAD,TECS,TODAES等顶级期刊上发表论文 20 篇以上(单篇最高他引100+,CCF A 类/中科院一区论文8篇,CCF B 类/中科院二区论文 14 篇)。作为项目 课题负责人承担了国家自然科学基金(青年基金和面上基金)、广东省重点研发计划、教育部产学合作协同育人项目等国家以及省部级项目多项。获得了 CODES+ISSS 2020 最佳论文提名奖和 IEEE ESTIMedia 2013 最佳论文奖。指导学生参加 2017 年第十六届全国大学生机器人大赛中获得北部赛区一等奖和全国赛区一等奖,2018 年第十七届全国大学生机器人大赛获得全国赛区亚军和特等奖(排名 2/184), 2018 年全国大学生物联网设计竞赛(TI 杯)东北赛区特等奖(排名 1/54)和全国赛区一等奖(排名 13/120)。在学术服务方面,担任Journal of Circuits, Systems, and Computers (JCSC) 期刊副主编,第十五届全国嵌入式系统学术会议(ESTC 2017)程序委员会主席,以及 RTAS, ISORC, IIOT 等国际会议的程序委员会成员 。

 

申请表下载

                                                

       



     

姓名:陈俊

单位:天津大学

现任职:长聘副教授

成为通信委员年度:2020年

界别:高校

个人简介:

2019.07至今:天津大学 智能与计算学部 长聘副教授、博士生导师

2014.09~2019.07:北京大学信息科学技术学院博士研究生(导师:谢冰)

2010.09~2014.07:北京航空航天大学软件学院本科生

研究方向:软件测试与维护,包括编译器测试、深度学习测试、回归测试、智能运维等

 

申请表下载


                                                

 

姓名:陈立前

单位:国防科技大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

本科,1999.09~2003.06,国防科技大学

硕士生,2003.09~2015.02,国防科技大学

博士,2015.03~2010.06,国防科技大学

助理研究员,2010.06~2017.12,国防科技大学

副教授,2018.1~至今,国防科技大学

 

申请表下载

                                                


  

姓名:陈咸彰

单位:重庆大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

2020.11至今重庆大学计算机学院副教授

2019.4至2020.4月新加坡国立大学Research Fellow

2017.6至2020.10月重庆大学通信学院师资博士后

2013.9至2017.6重庆大学计算机学院博士学位

2010.9至2013.6东南大学计算机科学与工程学院  工学硕士学位

2006.9至2010.6东南大学计算机科学与工程学院  工学学士学位

我的研究兴趣包括新型存储系统、嵌入式操作系统、智能加速器的编译优化。作为主要作者发表CCF A类论文8篇、CCF B类论文9篇,研发的持久化内存文件系统SIMFS获得IEEE NVMSA 2015国际会议最佳论文奖、CCF A类期刊IEEE Transactions on Computers的十月刊的Featured Paper以及2016年度Editor’s pick of the year 2016。

 

申请表下载

                                                


 

姓名:范铭

单位:西安交通大学

现任职:助理教授

成为通信委员年度:2020年

界别:高校

个人简介:

申请人范铭,西安交通大学网络空间安全学院助理教授,硕士生导师;香港理工大学、西安交通大学计算机系双学位博士;新加坡南洋理工大学博士后;2019年博士后国际交流项目引进计划获得者。目前工作于西安交通大学管晓宏院士和郑庆华教授领导的智能网络与网络安全教育部重点实验室。主要研究方向为软件安全,在ICSE, TIFS, TSE, TR等重要国际期刊与国际会议上发表论文20余篇,并获得ISSRE 2016, NASAC 2018软件系统安全分论坛最佳论文奖。目前担任TDSC, TSE, TIFS, TR, FSE, ASE等国际顶级期刊会议审稿人。已发表学术文章被国际同行引用次数为309,H因子为8。在任职期间,申请人作为负责人主持国家自然科学基金青年基金、博士后站前特别资助、杭州新州网络科技有限公司横向课题等6项项目。

 

申请表下载

                                                


 

姓名:冯洋

单位:南京大学

现任职:助理研究员

成为通信委员年度:2020年

界别:高校

个人简介:

申请人是南京大学与加州大学欧文分校联合培养博士,师从徐宝文教授与James Jones教授。于2019年12月取得博士学位后归国,入职南京大学计算机科学与技术系,任助理研究员。在此之前分别于2013年及2011年从南京大学获得软件工程工程硕士学位及工程学士学位。

申请人自攻读博士学位起从事程序分析及测试领域的研究,取得了较好的研究成果。其主要研究课题包括软件质量保障的智能化方法和智能软件系统测试,研究成果发表在包括ICSE,FSE,ASE,ISSTA,TSE,TOSEM,软件学报,中国科学等期刊与会议上。

 

申请表下载

                                                


 

姓名:郭向英

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

现任职:技术总监

成为通信委员年度:2020年

界别:工业界

个人简介:

1994-1997 上海交通大学能源工程系、计算机科学与工程系 双学士学位

1997-2000 中国空间技术研究院 计算机应用 硕士学位

2000至今 北京控制工程研究所软件检测站工程师、高级工程师、研究员、技术总监

2013-至今 北京轩宇信息技术有限公司 副总经理、技术总监

专注于航天嵌入式系统及应用软件研发、测试以及软件工具的研发、可信软件等技术领域的研究。作为测试负责人,完成了我国主要星、船载操作系统软件的测试工作;主持研制了轩宇信息高可信嵌入式软件解决方案系列工具,在航天、航空、兵器、电子等安全关键领域实现广泛应用,经济效益达数千万元。参与多项自然科学基金重大研究计划及864等课题,获得北京市科技进步奖一等奖、国防科技进步奖二等奖、军队科技进步一等奖各一次。

 

申请表下载

  

                                                

 

姓名:黄凯

单位:中山大学

现任职:教授

成为通信委员年度:2020年

界别:高校

个人简介:

中山大学计算机学院教授、博士生导师、中央组织部第十一批“青年千人”。

1999 年复旦大学计算机学士;

2005年荷兰莱顿大学计算机科学硕士;

2010 年瑞士苏黎世理工计算机博士;

2011-2012 年,在德国 Fortiss 研究所担任研究组长;

2012-2015 年在德国慕尼黑工业大学担任高级研究员。

2016 年被任命为中山大学计算机学院人工智能与无人系统研究所所长。主要研究方向为嵌入式/CPS 系统的基础研究及其工业应用,工业领域涉及无人驾驶,医疗器械,仿生机器人。

 

申请表下载

                                                


姓名:郝玉锴


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

现任职:中层助理/高级工程师

成为通信委员年度:2020年

界别:工业界

个人简介:

2009年在西安电子科技大学通信工程学院通信工程专业获得学士学位,在计算机学院计算机应用专业获得辅修学位;

2012年在西安电子科技大学通信工程学院获得硕士学位。中国计算机学会(CCF)会员,中国航空学会会员;

2012年至今,在西安航空计算技术研究所从事飞机机载软件设计开发工作;

2013年破格评定为工程师;2017年评定为高级工程师;先后参加和负责过包括十二五“核高基”在内的多项预研课题,多个国家重点型号项目,已刊出各类论文16篇,其中SCI检索1篇,EI检索2篇,申报国防/航空科技报告12篇,申请专利18项,已经授权4项,获得中国航空学会科学技术一等奖1次,中航工业集团创新创业竞赛三等奖1次。

 

申请表下载

                                                


姓名:贺飞

单位:清华大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

2002年7月毕业于国防科技大学计算机学院,获工学学士学位;

2008年1月毕业于清华大学计算机系,获工学博士学位;

2008年起于清华大学软件学院任教;

现任清华大学软件学院副教授。

主要研究方向为形式化验证理论及其在嵌入式系统、软件系统中的应用。在包括POPL, CAV, OOPSLA, ICSE, ASE, ACM TOSEM, IEEE TDSC, IEEE TC等在内的国际重要会议和期刊上发表论文60余篇;作为项目负责人承担国家自然科学基金项目3项,国家重点研发计划课题项目等多项;作为主要技术骨干参加国家973项目3项、国家自然科学基金重大项目1项、国家科技支撑计划1项以及其他项目多项。

 

申请表下载

                                                


 姓名:李玲


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

现任职:研究员

成为通信委员年度:2020年

界别:研究所

个人简介:

申请人现为中国科学院软件研究所研究员。

2004年在武汉大学获得学士学位;

2009年在中科院计算所获得所博士学位;

2017年到中科院软件所工作。

主要研究领域为智能计算和视频处理。在相关领域发表多篇CCF A类的期刊和会议论文,获得了CCF A类会议MICRO’14的最佳论文奖(该会议50年来唯一一次美国以外国家获此奖);出版教材《智能计算系统》。主持过多项国家自然科学基金项目、国家重点研发计划课题、中科院先导专项课题等。2019年获中国科学院杰出科技成就奖等。

 

申请表下载

                                                

       

 

  

姓名:马涛


单位:阿里巴巴

现任职:研究员

成为通信委员年度:2020年

界别:工业界

个人简介:

中国地质大学(北京)硕士毕业,计算机应用技术专业。在操作系统领域有超过16年工作经验,对Linux以及系统软件有很深入的研究,目前在阿里巴巴负责操作系统以及系统软件相关的研发工作。在国际学术会议上发表过多篇论文,涉及系统软件的存储,网络,资源调度等多个核心领域。


申请表下载

                                                

 

姓名:孟国柱


单位:中国科学院信息工程研究所

现任职:副研究员

成为通信委员年度:2020年

界别:研究所

个人简介:

现就职于中国科学院信息工程研究所任副研究员, 2017年于新加坡南洋理工大学获博士学位,分别于2009年和2012年自天津大学获得学士和硕士学位。主要研究领域包括软件与系统安全以及人工智能安全。在软件工程领域内权威会议如ICSE,FSE,ASE,ISSTA等发表文章三十余篇。

 

申请表下载

                                                


 

姓名:聂黎明


单位:浙江理工大学

现任职:助理教授

成为通信委员年度:2020年

界别:高校

个人简介:

本人目前就职于浙江理工大学信息学院,主要研究方向为智能化软件开发,智能物联网技术及其应用。  2017 年获大连理工大学博士学位,师从江贺教授。先后在 TSC,ESE,FCS 等国际期刊会议发表论文 10 余篇。

目前主持的项目有:(1)国家自然科学基金面上项目 1 项,浙江省自然科学基金一般项目 1 项;与智能 化软件开发研究相关,致力于发表顶级期刊和会议论文,同时形成对应的可应用工具;(2)协同育人项目 2 项,与教学改革相关;(3)企业横向项目 3 项,涉及温室智能管控、水肥一体化精准灌溉等智能物联网技术 的研究及应用,致力于提升我国农业生产的智能化水平,并在未来实现系统的开源。

 

申请表下载

                                                

 


姓名:钱梽杨

单位:华为技术有限公司

现任职:操作系统技术规划专家

成为通信委员年度:2020年

界别:工业界

个人简介:

2018年初入职华为,现任华为中央软件院操作系统内核实验室的技术规划负责人,负责操作系统内核领域的业界技术洞察、高校合作、技术规划与产品管理等工作。

入职华为前为GE数字集团中国区Predix(工业互联网操作系统)首席架构师。此前还先后任职于IBM和Oracle,负责数据库、中间件、云和物联网等软件和解决方案的架构师和技术顾问工作。拥有超过16年的基础软件从业经验。

2004年毕业于复旦大学,获计算机科学与技术学士学位。

 

申请表下载

                                                



姓名:沈博


单位:西北工业大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

沈博,博士,副教授。

2008年于西安电子科技大学获学士学位;

2011年、2017年于西北工业大学获硕士、博士学位;

2017年至2018年在普林斯顿大学电子工程系从事博士后研究;

2018年9月至2020年5月在西安电子科技大学计算机学院从事教学科研工作;

2020年5月起在西北工业大学计算机学院工作。一直从事信息物理融合系统及智能无人系统的研究,涉及系统建模与分析、无人系统智能评估理论与方法等。

 

申请表下载

                                                

 

 

 姓名:申文博

单位:浙江大学

现任职:研究员

成为通信委员年度:2020年

界别:高校

个人简介:

申文博,浙江大学百人计划研究员,博士生导师;于2010 年毕业于哈尔滨工业大学,获得学士学位;2015 年获得美国北卡罗莱纳州立大学计算机博士学位,研究方向为系统及无线安全,并于同年加入位于美国硅谷的三星美国研究院( Samsung Research America ),担任操作系统内核安全的技术负责人;于 2019 年加入浙江大学网络空间安全研究中心和计算机科学与技术学院。申请人研究成果包含论文及专利3 0 余篇,其中 8 篇 CCF A 类论文 包含 IEEE S &P, ACM CCS, USENIX Security, NDSS, TDSC, ACM MobiCom, TMC) TMC),覆盖全部国际计算机安全四大顶级会议,获得 2 项杰出论文奖,包含四大顶级会议之一的 NDSS 的杰出论文奖。申请人研究成果获得了大规模应用,多年来设计、实现并主导部署了多种操作系统内核安全机制,保护超过亿部设备系统内核安全。

 

申请表下载


                                                


 

姓名:宋杰

单位:东北大学

现任职:教授

成为通信委员年度:2020年

界别:高校

个人简介:

就职于东北大学软件学院,长聘教授,博士生导师,东北大学引进人才(2010),学术团队负责人。2008年博士毕业于东北大学,法国科学院博士后(法方出资),东软集团企业博士后。主要研究领域为大数据存储和管理、高能效计算、机器学习应用。第一作者发表TKDE,TETC等SCI期刊论文12篇,以及计算机学报和软件学报12篇。主持国家自然科学基金青年、面上、重点(子项)等项目若干。牵头或参与设计了海洋、渔业、工业、车联网、金融、航天等领域的计算平台和数据平台;在人脸识别、行为识别、表情识别、食材识别、车辆识别等领域有成熟应用;为世界500强企业研发食品识别算法并得以应用。

 

申请表下载

                                                

 

姓名:宋卓

单位:阿里巴巴

现任职:高级技术专家

成为通信委员年度:2020年

界别:工业界

个人简介:

2002~2006 年本科就读于武汉大学电子工程专业;

2006 年被保送至武汉大学电子工程专业研究生,于 2008 年毕业;

现就职于阿里巴巴操作系统团队,高级技术专家,Alibaba Cloud Linux co-maintainer, 前网络子系统 maintainer,目前是操作系统软硬协同创新方向负责人以及高校合作负责人,团队成员包括调度器 maintainer,体系结构 maintainer,网络,性能优化等领域多位专家,同时还负责阿里巴巴操作系统领域的高校合作,访问学者,研究实习生项目。参与早期核心系统研发,在内核,虚拟化,数据中心网络等领域有丰富的经验,个人也是经历了阿里云多代基础产品的迭代,贡献包括集团内多个产品线,ECS,EBS,ODPS,VPC,容器服务,云原生等等。

 

申请表下载

                                                



 姓名:孙宏伟

单位:华为技术有限公司

现任职:资深专家

成为通信委员年度:2020年

界别:工业界

个人简介:

孙宏伟1994年被保送至西北工业大学教改班进行本硕博连读并于2003年获得工学博士学位。毕业后先后在Platform Computing和IBM公司任系统软件高级技术总监,从事大型分布式系统的设计开发等工作,发表论文专利近30篇。目前任华为技术有限公司计算BU基础软件资深技术专家(首席),曾任华为混合云首席架构师兼任CTO。此前任IBM系统开发部资深技术总监,负责系统开发部所有跨平台系统软件的开发工作。

 

申请表下载

                                                




 姓名:王勇

单位:安徽工程大学

现任职:教授

成为通信委员年度:2020年

界别:高校

个人简介:

王勇,博士,教授,硕导,曾获安徽省教坛新秀,安徽工程大学中江学者。2018 年博士毕业于南京航空航天大学,2019-2020 年赴新加坡南洋理工大学CSL 实验室学术访问。近几年来,参与国家自然科学基金面上项目2 项,主持安徽省自然科学基金面上项目等省部级项目5 项,企业产学研项目5 项,获省级科技成果4 项。已在《SCIENCE CHINA information sciences》(中国科学),《IEICE trans.》等期刊发表论文30 余篇。目前为“Neural Processing Letters”、“软件学报”等多个期刊审稿人,兼任安徽人工智能学会理事、安徽高校计算机教育研究会理事、安徽省科技专家、安徽计算机学会青工委委员、芜湖市信息化专家等。负责安徽工程大学计算机科学与技术专业建设,积极推动专业建设与改革,该专业2019 年获批国家级一流专业建设点,2020 年顺利通过教育部工程教育专业认证自评。

 

申请表下载


                                                


 姓名:向剑文

单位:武汉理工大学

现任职:教授

成为通信委员年度:2020年

界别:高校

个人简介:

1997、2000、2004 毕业于武汉大学计算机学院并分获学士、硕士和博士学位,2002-2005 就 读于日本北陆先端科学技术大学院大学(JAIST)情报科学学院并获博士学位。2005-2007 于 JAIST 任博士后研究。

2007-2008 于日本产业技术综合研究所(AIST)任特别研究员,2008- 2014 于日本电气株式会社(NEC)中央研究所担任主任。2014 年作为湖北省百人计划特聘专家全职回国于武汉理工大学计算机科学与技术学院任教授、博士生导师、教授委员会主席,兼任日本九州大学客座教授、工业控制系统安全与可靠 测评共性技术工业和信息化部重点实验室学术委员会委员、中国电子学会可靠性分会委员、中国医院协会健康医疗大数据应用管理专业委员会委员、武汉计算机与软件工程学会副秘书长等职。

 

申请表下载

                                                

       


 

姓名:肖冠平

单位:南京航空航天大学

现任职:讲师

成为通信委员年度:2020年

界别:高校

个人简介:

2012年6月获南京航空航天大学学士学位,2015年5月获中国民航大学硕士学位,2020年1月获北京航空航天大学博士学位,被评为北航优秀博士毕业生。2020年1月进入南京航空航天大学工作。主要从事智能软件可靠性工程等方面的研究工作。近年来在IEEE Transactions on Reliability、ISSRE、航空学报(英文版)等国际期刊和会议上发表论文10余篇。主持国家自然科学基金青年基金、江苏省自然科学基金青年基金、计算机软件新技术国家重点实验室开放课题等项目。

 

申请表下载

                                                

  


姓名:

单位:复旦大学

现任职:科研副院长

成为通信委员年度:2020年

界别:高校

个人简介:

1997年9月至2001年6月,在复旦大学就读本科,获学士学位;2001年9月至2007年1月,在复旦大学就读研究生,获博士学位;2007年3月起,在复旦大学计算机科学技术学院任教,2013年12月晋升为副教授、博士生导师,2015年12月,破格晋升为教授、博士生导师,现任复旦大学计算机科学技术学院科研副院长,以及中国网络空间战略研究所副所长。

主研领域为网络空间安全战略与技术,担任国务院学位委员会网络空间安全学科评议组成员,973首席科学家,教育部青年长江学者,中国网络空间安全协会理事,曾获国家网络安全优秀教师奖、上海市青年科技英才等荣誉称号。

 

申请表下载


                                                


  

 姓名:杨文华

单位:南京航空航天大学

现任职:助理教授

成为通信委员年度:2020年

界别:高校

个人简介:

杨文华,毕业于南京大学计算机科学与技术系,获博士学位,现工作于南京航空航天大学计算机科学与技术学院。主要研究方向为自适应软件系统、信息物理系统、智能化软件工程等相关领域,在ASE、Journal of Systems and Software、ACM Transactions on Internet Technology、Information and Software Technology等国际期刊与会议以及软件学报、Science China等国内期刊上发表论文20余篇。目前主持国家自然科学基金青年项目,并作为项目主要成员参与了国家重点研发计划课题、全军共用信息系统装备预研项目等。

 

申请表下载


                                                


 

姓名:姚远(西北工业大学)

单位:西北工业大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

西北工业大学计算机学院副教授,硕士生导师,IEEE/ACM/CCF会员。主要研究方向包括智能无人集群协同理论与方法、群体智能操作系统资源管理和信息物理融合系统等。在INFOCOM、JSAC、TMC、TVT、DSN等领域重要国际会议和期刊上发表论文30余篇,主持国家自然基金2项,参与国家自然基金重点项目、科技部重点研发计划、军科委创新特区重点项目等8项,申请发明专利10余项。

 

申请表下载

 



                                                


  

 

 姓名:姚远(南京大学)

单位:南京大学

现任职:副研究员

成为通信委员年度:2020年

界别:高校

个人简介:

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

 

申请表下载

                                                

       


 姓名:原仓周

单位:北京航空航天大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

北京航空航天大学软件学院副教授,北京航空航天大学通信与信息系统博士。主要讲授课程包括操作系统和软件体系结构。现任软件学院院长助理。国家Linux技术培训与推广中心北航负责人。主要研究方向:可信软件架构、系统可靠性与性能、操作系统和嵌入式系统等。目前在研的多个研究项目,主要面向全栈进行实际软件研发,综合运用软件架构、人工智能、并发模型等技术,提高研发软件的可靠性、性能和安全性。主持参与航天预研、“核高基”重大专项、“863”高科技重大专项、航空基金等国家级课题近20项,主持多项大型软件研发项目。近几年在国内外期刊会议上发表SCI/EI学术论文40余篇,授权国家专利10项,2项已转让。

 

申请表下载

                                                


 

姓名:张民

单位:华东师范大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

2014年在日本北陆先端科学技术技术大学院大学软件工程学科获得博士学位,目前就职于华东师范大学软件工程学院担任副教授,从事软件的可靠性分析,形式化方法,智能系统验证等领域,先后主持国家自然科学基金项目多项,在国际知名期刊和会议上发表高质量论文40余篇。CCF、ACM和IEEE会员。

 

申请表下载

                                                

 

 


 姓名:张源

单位:复旦大学

现任职:副教授

成为通信委员年度:2020年

界别:高校

个人简介:

2009年于南京大学获得学士学位,2014年于复旦大学获得博士学位,同年被复旦大学计算机学院破格留任,2017年12月晋升副教授。

围绕移动生态系统的安全开展了深入的研究。在IEEE S&P、ACM CCS、USENIX Security、NDSS、ICSE、TIFS等国内外会议期刊上发表论文37篇,其中网络与系统安全国际四大顶会论文 12 篇。目前,有两篇论文他引已经超过 300 次,一篇论文入选国际网络安全研究TOP 10 Influential Security Papers,一篇论文入选网络安全顶会ACM CCS 2018 Highlights论文。担任包括ESORICS、AsiaCCS、Euro S&P在内的多个重要国际会议程序委员会委员,和包括TDSC、TIFS、TMC、软件学报在内的多个知名期刊的评审人。

 

申请表下载