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

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


图片2

图片2

姓名:齐洪钢

单位:中国科学院大学

现任职:副教授

成为通信委员年度:2017年

界别:高校

个人简介:
       1998年毕业于北京科技大学,获得学士学位。2002年毕业于东北大学,获得硕士学位,2008年毕业于中科院计算所,获得博士学位。2006年至2007年在展讯通讯有限公司工作,担任视频算法芯片设计工程师。2008年到2010年中国科学院大学博士后,目前是中国科学院大学计算机与控制学院副教授。
       本人多年以来一直从事视频图像编解码及分析理解方面的理论研究以及网络视频流媒体系统软件的应用研发工作。近年来先后以第一作者在国际期刊和会议公开发表论文10篇,合作发表30余篇,授权发明专利5项。曾多次参加国家音视频标准AVS标准会议,提出10多项标准技术提案,其中模式编码优化,视频流缓冲区管理,运动矢量预测三项技术被采纳,2007年获得AVS标准集体贡献奖;多次参加MPEG国际会议,提出包括整数反变换(IDCT)和可重构视频编码(RVC)在内的20多项技术提案。

申请表

图片1

图片1

姓名:刘杰

单位:中科院软件所

现任职:副研究员

成为通信委员年度:2018年

界别:科研机构

个人简介:
       2010年博士毕业于中国科技大学,2014年起任中科院软件所副研究员,中科院青年创新促进会会员。研究专注面向大数据和机器学习的系统软件。作为负责人主持相关国家自然科学基金项目2项、国家重点研发计划课题1项、中科院科技创新项目1项、民航总局科技重大专项1项,及多项华为京东等企业合作项目。近年来在ICSME、CIKM、ISSRE、DASFAA、CAiSE、JSS等系统软件和大数据相关的会议期刊发表论文30多篇,其中DASFAA13获得了1st runner up论文奖。
       积极参与专委活动:
       1.2018年与专委多位老师合作编写“CCF2017-2018中国计算机科学技术发展报告”中专题“AI与系统软件的深度融合研究进展与趋势”。
       2.参与2018年4月CCF系统软件论坛(南京)会务工作,并主持1个Session;参与Internetware 2018(北京)会务组织工作。
       作为本届CCF会员代表,愿意积极参与专委各项活动并贡献力量。

申请表

 

图片3

图片3

姓名:刘先华

单位:北京大学

现任职:副教授

成为通信委员年度:2018年

界别:高校

个人简介:
       2000年于清华大学获学士学位,2007年于北京大学获博士学位,现为北京大学信息科学技术学院计算机科学与技术系副教授。研究方向为计算机系统结构、编译优化、运行时系统,长期从事计算机系统结构、编译优化和软硬件协同设计相关的教学科研工作,是北京大学“众志”自主CPU基础软件研制的核心成员。曾承担国家863 计划课题、“核高基”重大科技专项子课题、国家自然科学基金等7项科研课题,曾参与三十余项国家和省部级科研项目。在ICS、ICCD、DATE、VEE等会议发表论文十余篇,授权发明专利8项。曾获得北京大学教学优秀奖、首届高校计算机专业优秀教师等奖励。

申请表


图片4

图片4

姓名:秦承刚

单位:蚂蚁金服

现任职:资深技术专家

成为通信委员年度:2018年

界别:工业界

个人简介:
       2012年毕业于中国科学院研究生院,计算机博士。目前就职于蚂蚁金服系统部,带领虚拟化与内核团队。面向蚂蚁的业务场景,探索/研发安全容器产品与新的操作系统技术。从2017年开始,积极跟学术界进行合作交流。针对业务场景中的前沿问题,与上海交通大学,浙江大学等单位进行了深度合作。

申请表



图片5

图片5

姓名:万燕

单位:东华大学

现任职:教授

成为通信委员年度:2018年

界别:高校

个人简介:
       2002.12-今:东华大学 计算机科学与技术学院、教授;
       2007.9-2008.9:美国德州大学奥斯汀分校,博士后;
       1998.2-2001.7:就读于上海交通大学计算机系、获博士学位,师从于孙永强教授;
       1992.9-1995.3:就读于西安电子科技大学计算机系、获硕士学位;
       1986.9-1990.6: 就读于桂林电子科技大学计算机应用专业、获学士学位;留校计算机系任助教、讲师;
       一直在计算机技术应用于纺织纤维领域开展交叉研究工作,在国内外期刊、会议发表论文20余篇,主持国家自然科学基金1项,作为合作单位负责人主持国家自然科学基金1项,主持上海市教改项目两项。申请专利两项。发表论文60余篇,其中SCI期刊10篇。

申请表




图片6

图片6

姓名:王璐璐

单位:东南大学

现任职:副教授

成为通信委员年度:2018年

界别:高校

个人简介:
       2002.9-2006.6,东南大学计算机学院本科;
       2006.9-2012.6,东南大学计算机学院博士(软件方向);
       2012.7-今,东南大学计算机学院任教,主要研究方向为程序分析和测试。

申请表



图片7

图片7

姓名:夏文

单位:哈尔滨工业大学(深圳)

现任职:副教授

成为通信委员年度:2018年

界别:高校

个人简介:
       哈尔滨工业大学(深圳)计算机学院副教授,硕士生导师,IEEE/ACM/USENIX/CCF会员,中国计算机学会信息存储专委会委员、中国计算机学会YOCSEF深圳学术委员、深圳市科创委项目评审专家、深圳市经信委项目评审专家、广东省科技项目评审专家等。主要研究方向为云存储、云计算、大数据等,并有较为丰富的国内外高校和企业(华中科大、NEC美国实验室、UNL、深信服科技等)工作研究经历,在计算机系统相关领域发表论文四十余篇(含中国计算机学会推荐A类13篇,B类8篇),申请中国和美国发明专利三十余项(含授权专利11项),曾获得湖北省科技进步一等奖、广东省“珠江人才”、中国电子学会优秀博士学位论文奖、湖北省优秀学士论文指导教师、哈尔滨工业大学“青年拔尖人才”、深圳市“孔雀计划”高层次人才等荣誉。针对所在研究方向与工业界EMC(美国)、 NEC(美国)、腾讯、中兴、华为等知名IT公司开展了广泛的合作研究以及技术推广工作,部分研究成果也已被多个国外GitHub开源项目采纳(比如ContentBlockchain、zvault、rdedup、rsroll、SZ等)。此外,还主持国家自科基金项目(青年、面上)、省市级科研项目、企业合作项目等十余项,并长期担任IEEE Trans. on Computers、IEEE Trans. on Parallel and Distributed Systems、IEEE Trans. on Knowledge and Data Engineering、 ACM Trans. on Storage等多个期刊审稿人。

申请表


图片8

图片8

姓名:谢山青

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

现任职:项目经理

成为通信委员年度:2018年

界别:工业界

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

申请表

图片9

图片9

姓名:杨启亮

单位:解放军理工大学

现任职:副教授、硕导

成为通信委员年度:2018年

界别:高校

个人简介:
       杨启亮,男,陆军工程大学国防工程学院电力与智能化教研室主任、副教授。陆军科技英才,江苏省333工程中青年学术带头人,中国计算机学会高级会员。1998,2002和2013年于解放军理工大学、南京大学分别获得学士、硕士与博士学位。主要从事战场设施信息系统、自适应软件系统、信息物理融合系统领域的理论、技术研究。近期在Journal of Computer Science and Technology,Information and Software, Journal of Systems and Software, 以及《计算机学报》、《软件学报》等国内外期刊、会议上发表论文100余篇。近期主持国家重点研发计划课题、武器装备预研基金、江苏省自然科学基金、中国博士后基金一等资助、军队重点(纵向)研究课题等10多项,参与了军队重大专项、咨询课题等20余项。主持研制的XXXX智能保障软件系统已在指挥防护工程、大型地下洞库群、军港、机场等100余项重要工程中应用。获国家科技进步一等奖1项、二等奖1项,军队科技进步一等奖2项。

申请表



图片10

图片10

姓名:袁敏

单位:南京师范大学

现任职:副教授

成为通信委员年度:2018年

界别:高校

个人简介:
       申请人博士毕业于南京航空航天大学计算机学院,现为南京师范大学计算机学院副教授,CCF服务计算专业委员会委员。研究方向集中在面向服务的计算领域,主要关注系统软件、软件建模与验证、云计算等方面。主持和参加多项国家自然科学基金、国家重点研发计划及省部级科研项目等。2010年获UNU-IIST(联合国大学澳门国际软件技术研究所)资助访问印度TATA软件研发中心。近年来在国内外CCF推荐权威期刊和会议上发表SCI、EI收录学术论文30余篇,长期担任IEEE Transactions on Services Computing (TSC)、Information Systems、Knowledge-Based Systems、Journal of Systems and Software等系统软件相关国际期刊的审稿人。
       自2009年加入CCF以来,积极参加CCF举办的各项活动,包括南京、上海等周边地区举办的青年计算机科技论坛CCF YOCSEF,积极宣传学会各项活动。2012年11月作为会务组成员参与了在南航大举办的NASAC会议的组织工作,2018年12月组织了“CCF专委走进南京高校”系列活动,吸引了南航大、南师大和河海大学等在宁高校的众多师生积极参与。希望能正式加入系统软件专委会,进一步加强与国内外同行在软件与服务相关领域的交流与合作,争取在专委组织的各项活动中做出更大的贡献。

申请表


图片11

图片11

姓名:左志强

单位:南京大学

现任职:助理研究员

成为通信委员年度:2018年

界别:高校

个人简介:
       2015年毕业于新加坡国立大学计算机科学与技术系,获博士学位,2015年至2018年美国加州大学欧文分校博士后,现为南京大学计算机科学与技术系研究助理研究员,主要研究领域为系统软件、程序分析、软件工程等方向,研究成果发表在一系列顶级国际学术会议,如OSDI、ASPLOS、PLDI、OOPSLA、ICSE等。

申请表


图片12

图片12

姓名:蔡彦

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

现任职:研究院

成为通信委员年度:2019年

界别:科研机构

个人简介:
       2018年 10月-至今,中国科学院软件研究所,研究员
       2014年 08月-2018 年 9月,中国科学院软件研究所,副研究员
       2010年 09月-2014 年 8月,香港城市大学,电脑科学系,博士学位
       2009年 10月-2010 年 3月,日本熊本大学,自然科学研究科,Research Student
       2005年 09月-2009 年 6月,山东大学,计算机科学与技术专业,学士学位

申请表


图片13

图片13

姓名:陈东

单位:国防科学技术大学

现任职:讲师

成为通信委员年度:2019年

界别:高校

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

申请表



图片14

图片14

姓名:陈鹏飞

单位:中山大学数据科学与计算机学院

现任职:副教授

成为通信委员年度: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篇,同时担任多个国际期刊和会议的审稿人。

申请表


图片15

图片15

姓名:陈翔

单位:南通大学信息科学技术学院

现任职:副教授

成为通信委员年度:2019年

界别:高校

个人简介:
       申请人现任南通大学信息科学技术学院副教授,主要研究领域包括软件仓库挖掘、软件维护和软件测试等。申请人于2011年在南京大学获计算机博士学位,2018年~2019年在新加坡南洋理工大学刘杨教授领导的课题组内进行学术访学和合作。目前已经在相关领域重要期刊和会议(例如IEEE Transactions on Software Engineering、Information and Software Technology、Journal of Systems and Software、IEEE Transactions on Reliability、Journal of Software: Evolution and Process、Journal of Computer Science and Technology、软件学报、计算机学报、ASE、COMPSAC等)上累计发表高质量论文60多篇。曾经先后担任过Information and Software Technology、Journal of Systems and Software、IEEE Transactions on Reliability、Journal of Computer Science and Technology、计算机学报和软件学报等期刊的评审专家。

申请表


图片16

图片16

姓名:郭山清

单位:山东大学网络空间安全学院

现任职:教授

成为通信委员年度:2019年

界别:高校

个人简介:
       2006年7月博士毕业于南京大学计算机科学与技术系计算机软件专业,2006年9月获工学博士学位。现工作于山东大学网络空间安全学院,教授,博士生导师。主要研究方向:研究可用以分析各类不同的计算平台(通用计算机系统、嵌入式系统等)和各类新型应用(云、区块链、人工智能应用等)的软件脆弱性和网络脆弱性的方法、技术与工具以及各种类型的安全增强方法。近年承担和参与了国家自然科学基金重点项目、山东省自主创新及成果转化专项等在内的20多项国家和省部级科研项目,已经在CIKM、DSN、ICSME、ISSRE、ICWS等国内外学术刊物及国际学术会议上发表论文50多篇。

申请表


图片17

图片17

姓名:蒋炎岩

单位:南京大学

现任职:助理研究员

成为通信委员年度:2019年

界别:高校

个人简介:
       2017.12-至今 南京大学计算机科学与技术系,助理研究员
       2011.9-2017.12 南京大学计算机科学与技术系,博士学位
       2007.9-2011.6 南京大学计算机科学与技术系,学士学位
       
       蒋炎岩的研究方向为系统软件(Linux内核、编译器工具链、移动应用等)的分析/测试和程序合成,发表论文30余篇(CCF-A类8篇),相关工作在Linux内核、GCC/LLVM工具链、Coreutils等系统软件中检出众多前所未知的严重缺陷。蒋炎岩曾获CCF青年人才托举计划资助、CCF优秀博士学位论文、ACM SIGSOFT Distinguished Paper Award等荣誉/奖励。
       蒋炎岩还参与了南京大学计算机系统方向教学的实践课程体系设计,现执教拔尖计划《操作系统》、《计算机系统基础》等课程,设计实验教学体系使本科生能自底向上构造完整计算机系统(包括SoC、全系统模拟器、操作系统等),教学成果获“龙芯杯”全国系统能力竞赛优秀指导教师、全国计算机类课程实验教学案例设计竞赛二等奖等荣誉/奖励。

申请表


图片18

图片18

姓名:李诚

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

现任职:特任研究员

成为通信委员年度: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等的论文审稿工作。

申请表


图片19

图片19

姓名:李睿

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

现任职:讲师

成为通信委员年度:2019年

界别:高校

个人简介:
       博士毕业于北京航空航天大学计算机学院软件开发环境国家重点实验室,现为国防科技大学计算机学院国产基础软件工程研究中心讲师,研究方向为系统软件,2017年进入国防科技大学计算机科学与技术博士后流动站继续学习。

申请表


图片20

图片20

姓名:李智

单位:广西师范大学计算机科学与信息工程学院/软件学院

现任职:副院长

成为通信委员年度:2019年

界别:高校

个人简介:
博士/教授/博士生导师,广西师范大学计算机科学与信息工程学院/软件学院副院长。中国计算机学会(CCF)杰出会员,担任该学会软件工程专业委员会常务委员、形式化方法专业委员会委员。复旦大学理学学士,英国约克大学硕士,英国开放大学计算机科学博士,英国基尔大学博士后。在进入学术研究领域之前曾经有10年以上从事专业技术工作,主要研究兴趣包括面向问题的城市大数据需求工程、基于问题框架的信息物理融合系统建模、验证与测试、经验软件工程和人机交互等。获得国家自然科学基金项目2项、省部级项目3项,发表学术论文20余篇(SCI、EI论文18篇CCF期刊和会议论文8篇,其中3次获得国际学术会议最佳论文奖),做会议邀请报告4次。

申请表


图片21

图片21

姓名:吕鑫

单位:河海大学计算机与信息学院

现任职:讲师

成为通信委员年度:2019年

界别:高校

个人简介:
       2013年12月毕业于河海大学计算机应用技术专业,获博士学位,博士期间赴法国里尔一大进行联合培养;2016年03月河海大学水利工程博士后流动站出站,并留校任教。主要研究方向为网络与信息安全、大数据分析与隐私保护。主持或参与了国家自然科学基金联合基金重点项目子课题,国家自然科学基金青年项目及面上项目,国家科技支撑计划专项,江苏省博士后科研资助计划等项目9项,同时正在承担国家重点研发计划专题及配套项目3项,另作为主要完成人参与了省部级科研项目、重点工程项目共10余项。发表学术论文60余篇,获国家发明专利4项,其中1项经成果转化产生了较显著的经济效益。

申请表


图片22

图片22

姓名:莫简豪

单位:杭州快迪科技有限公司

现任职:高级专家工程师

成为通信委员年度:2019年

界别:工业界

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

申请表


图片23

图片23

姓名:潘敏学

单位:南京大学

现任职:副教授

成为通信委员年度:2019年

界别:高校

个人简介:
       潘敏学,2014年毕业于南京大学计算机科学与技术系,获博士学位,现工作于南京大学软件学院。教学、研究工作主要涉及软件工程领域;近年来的研究集中在软件建模与分析验证、软件形式化方法等可信软件相关领域。主持项目包括国家自然科学基金、江苏省自然科学基金等;在CAV、ICSE、FSE、ASE等国际会议期刊及软件学报、Science China等国内期刊上发表论文30余篇。

申请表


图片24

图片24

姓名:任志磊

单位:大连理工大学

现任职:副教授

成为通信委员年度:2019年

界别:高校

个人简介:
       2013年博士毕业于大连理工大学后留校任教,目前为副教授,博士生导师,并担任大连理工大学软件学院软件工程 研究所副所长。主要研究方向为软件仓库挖掘,构建系统分析与问题定位,基于搜索的软件工程等。在多个国内外知名学术期刊上发 表 论文二十余篇,包括CCF A 类国际会议(ASE2019 、ICSE2018) 、CCF B类国际会议与期刊(IEEE TCYB、中国科学、PPSN 2016)等。2014-2015年曾获辽宁省优秀学术成果二等奖。2018年研究成果获得国际软件工程大会 ACM SIGSOFT Distinguished Paper Awards。

申请表

图片25

图片25

姓名:吴国伟

单位:大连理工大学

现任职:教授/院长

成为通信委员年度:2019年

界别:高校

个人简介:
       1992.9-1996.7 哈尔滨工程大学 学士;
       1996.9-1999.3 哈尔滨工程大学 硕士;
       1999.9-2003.3 哈尔滨工程大学 博士;
       2003.3-2005.11 大连理工大学 讲师;
       2005.12-2011.11 大连理工大学 副教授 ;
       2008.9-2010.3 法国里昂国家应用科学学院 访问学者;
       2005.12-2011.11 大连理工大学 副教授 ;
       2011.12-至今 大连理工大学 教授 博士生导师。
       长期致力于智能云计算、移动边缘计算研究,近几年取得了较好的科研成绩。先后承担了1项十三五国家重点研发计划项目课题、2项十二五核高基重大专项子课题、3项国家自然科学基金项目、1项教育部新世纪优秀人才计划项目、1项十二五国防预研项目、2项IBM全球创新基金项目及2项经费超过百万元的横向项目,项目经费总额超千万元。在包括CCF 推荐的A、B类国际期刊和会议发表论文60余篇(SCI收录38篇)。研究成果获得辽宁省自然科学论文成果奖3项,科技成果鉴定2项,拥有软件著作权7项,项目成果在山西省、北京市部分单位已得到应用。此外,还获得2011年辽宁省百千万工程千人层次、2012年大连市领军人物后备人才、2013年教育部新世纪优秀人才等称号。

申请表

图片26

图片26

姓名:肖臻

单位:北京大学计算机系

现任职:研究员

成为通信委员年度: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月—现在:北京大学计算机系研究员、博士生导师。

申请表

图片27

图片27

姓名:谢涛

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

现任职:讲席教授

成为通信委员年度:2019年

界别:高校

个人简介:
       申请人于1997年获复旦大学学士,2000年获北京大学硕士,2005年获美国西雅图华盛顿大学博士。
       申请人是北京大学计算机科学技术系讲席教授,ACM SIGSOFT执行委员会委员,北美计算机华人学者协会软件工程专业委员会联合主席,CCF软件工程专业委员会候任副主任。电气电子工程师学会会士(IEEE Fellow)、美国计算机协会杰出科学家(ACM Distinguished Scientist)、CCF杰出会员。主要研究方向是软件测试、软件解析学、软件安全和智能软件工程等。曾获得美国NSF Faculty Career Award,国家自然科学基金会的海外及港澳学者合作研究基金及其延续资助。他是软件工程旗帜会议ICSE 2021、ISSTA 2015的大会程序委员会(共同)主席、ACM多元化(diversity)旗帜会议 Tapia 2017/2018的程序委员会主席和大会主席,担任《Software Testing, Verification and Reliability (STVR)》Wiley期刊的联合主编。

申请表

图片28

图片28

姓名:徐建

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

现任职:高级工程师

成为通信委员年度:2019年

界别:工业界

个人简介:
       2004.9-2008.6,本科,吉林大学,信息与计算科学专业;
       2008.9-2011.6 ,硕士,中国空间技术研究院,计算机应用技术专业;
       2011.6-2017.8,就职于北京控制工程研究所,工程师;
       2017.8-至今,就职于北京控制工程研究所,高级工程师;主要承担空间飞行器操作系统及系统软件设计工作。工作期间负责载人航天、深空探测、导航卫星、通信卫星、遥感卫星等型号星载计算机的操作系统和系统软件研制工作;参与我国第一个空间嵌入式实时操作系统SpaceOS的研制,目前进行第三代的研制工作;参与自然科学基金、973、核高基、装发信息系统局等多个课题的研究工作,主要参与嵌入式实时操作系统及系统软件相关方面的研究内容。

申请表

图片29

图片29

姓名:晏荣杰

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

现任职:副研究员

成为通信委员年度:2019年

界别:科研机构

个人简介:
       2007年博士毕业于中国科学院软件研究所。毕业后留所工作,2017年聘为副研究员。在2008-2010年期间,在法国Verimag实验室进修,完成了自主探测车功能层的建模与验证。目前主要研究方向为实时、并发系统的建模与形式验证,多核嵌入式系统的设计与分析。主持了一个国家自然科学青年基金项目,参与了多个国家级重点项目、中科院级重点及国际合作项目。在国际期刊TCAD、SoSYM、TECS, 国际会议DATE、FM、ICECCS等发表了多篇学术论文。

申请表

图片30

图片30

姓名:杨斌

单位:英特尔亚太研发中心

现任职:资深架构师

成为通信委员年度:2019年

界别:工业界

个人简介:
       杨斌,于2004年于浙江大学计算机系毕业,获得硕士学位。
       
       目前在Intel 亚太研发中心担任操作系统资深架构师一职, 研究方向涉及Android, 云计算,虚拟化,容器化,Optane persistent memory, FaaS,异构计算和云游戏等。

申请表

图片31

图片31

姓名:杨晓峰

单位:腾讯

现任职:高级专家

成为通信委员年度:2019年

界别:工业界

个人简介:
       目前,任职于腾讯公司TEG数据平台部门,高级专家,JDK项目负责人,领导腾讯JDK定制和研发工作。 此前,先后领导Oracle Java Platform,核心类库北京团队和京东商城数据基础平台智能化系统研发团队,领导了Java 8到11的部分前沿特性相关工作、京东JVM和性能基础设施等。OpenJDK Committer,专注于编程语言和编译器、运行时等在大数据、云计算等前沿领域的实践和发展,致力于推动国内在系统软件等基础领域的坚实发展。
       教育背景:
       2015~2018,北京邮电大学,计算机应用技术硕士学位
       1999~2013,浙江大学,通信工程学士学位

申请表


图片33

图片32

图片32

图片32

姓名:叶宏

单位:航空工业西安航空计算技术研究所(631所)

现任职:副总师

成为通信委员年度:2019年

界别:科研机构

个人简介:
       1983年毕业于西安工业大学,本人从事机载嵌入式系统软件研制工作。现任单位副总工程师,研究员,集团特级技术专家,国防科工局基础预研、装发信息局软件专业组成员。主要研究方向包括:安全关键系统、嵌入式系统,操作系统及开发环境,信息安全,软件工程和实时系统等技术。曾主持国家级重点预先研究和型号研制等任务三十多项。在航电系统架构设计、基础软件理论、分区技术、软件适航技术以及军用软硬件自主可控等方面做出了突出贡献。主持研制的天脉操作系统系列产品填补了国内航空领域的空白。发表相关论文二十余篇,组织编写国军标和行业标准五本,或发明专利二十四项,软件著作权登记五项。曾十余次获得国防科技进步一、二、三等奖,荣立过集团一、二、三等功。

申请表


图片33

图片33


姓名:张静宣

单位:南京航空航天大学

现任职:助理教授

成为通信委员年度:2019年

界别:高校

个人简介:
       张静宣,南京航空航天大学计算机科学与技术学院助理教授。主要研究方向为软件仓库挖掘和软件数据分析。分别于2012年和2018年在大连理工大学获得学士学位和博士学位,其中在2014年访问新加坡管 理大学做研究助理。先后在ACM/IEEE系列汇刊(TOSEM,TSE等),中国科学等期刊及ICSE,SANER等国际会议发表多篇论文。目前主持和作为项目主要成员参与多项研究课题,包括国家自然科学基金青年基金项目、面上项目、国家重点研发计划课题、全军共用信息系统装备预研项目等。

申请表

图片34

图片34

姓名:张羽

单位:西北工业大学计算机学院

现任职:副教授/系副主任兼支部书记

成为通信委员年度:2019年

界别:高校

个人简介:
       工学博士,副教授,硕士生导师,博士生协助导师。IEEE会员、ACM会员和CCF高级会员。主要从事网络化嵌入式操作系统、能量有效性计算领域的研究与教学工作。分别于1998年7月、2002年3月和2010年12月于西北工业大学计算机学院获学士、硕士和博士学位。2008年9月至2010年3月,作为访问学者在澳大利亚墨尔本大学“智能感知与信息处理”国家实验室从事传感网无线重编程方面的研究工作。2015年3月至2017年3月,作为高级访问学者在澳大利亚皇家墨尔本理工大学“移动与普适计算”实验室从事新一代移动计算系统方面的研究工作。先后参与和主持国家自然科学基金、国家科技重大专项课题、国家电网重点科技计划“电力专用CPU及芯片和内嵌入式操作系统”子课题及澳大利亚自然科学基金(ARC)等多项课题研究,以第一发明人身份获国家发明专利6项。在IEEE INFOCOM/ACM MobiCOM,UbiComp等国际顶级会议,IEEE TC、IEEE/ACM TON等国际重要期刊和国内权威期刊(《计算机学报》、《软件学报》)上发表学术论文40余篇。担任IEEE iThings、ISSNIP等国际会议程序委员;担任INFOCOM、UbiComp等国际会议和IEEE TWC、Pervasive and Mobile Computing等期刊特约审稿人。主讲本科生“计算机操作系统”和硕士生“高级操作系统”等课程,主编《计算机系统基础》教材1部、参编《Cyber-Physical System》等专著2部,获陕西省教学成果一等奖1项、校教学成果一等奖2项,2007年获校本科教学“优秀”奖教金(全校仅5人),2010年主讲的“操作系统”课程被评为“国家级精品课程”。

申请表