CCF系统软件专委会常务委员候选人简况- 学术界
CCF系统软件专委会常务委员候选人简况
学术界
姓名：陈恺
工作单位：中国科学院信息工程研究所
职称/职务：副主任
会员级别：专业
参加本专委时间：2017年
现任CCF职务：系统软件专委会（委员）
个人简介：
中国科学院信息工程研究所研究员、博导。信息安全国家重点实验室副主任，《Cybersecurity》编辑部主任。2010年获中国科学院研究生院博士学位（信息安全专业）， 2004年获南京大学本科学位（计算机科学与技术专业）。主要研究领域包括软件与系统安全、人工智能安全。在IEEE S&P、USENIX Security、ACM CCS、ICSE、ASE、TIFS、TDSC等会议、期刊上发表论文 100 余篇；曾主持国家自然科学基金重点项目等国家部委课题 40 余项。获国家“万人计划”青年拔尖人才、北京市“杰青”、北京市“科技新星”等资助。
姓名：陈铭松
工作单位：华东师范大学软件工程学院
职称/职务：教授/副院长
会员级别：高级
参加本专委时间：2018年
现任CCF职务：嵌入式系统专委会候任副主任
个人简介：
美国佛罗里达大学博士学位，现任华东师范大学软件工程学院教授、副院长。研究方向为嵌入式系统设计自动化。在嵌入式系统顶级期刊与会议上发表论文90余篇，主持包括国家重点研发项目、自然科学基金委重点项目在内的省部级项目7项。2009年与2013年曾两次获得国际重要会议“国际VLSI设计大会”与“国际嵌入式大会”最佳论文提名。担任过包括DAC、DATE、MEMOCODE、RTSS在内的多个国际会议TPC委员。
姓名：陈渝
工作单位：清华大学计算机系
职称/职务：副教授
会员级别：专业
参加本专委时间：2007年
现任CCF职务：系统软件专委委员
个人简介：
国防科技大学 系统结构方向 本科/硕士/博士
清华大学计算机系 副教授
MIT 访问学者
主要研究方向是操作系统，以操作系统为核心，涉及高性能计算、系统安全、普适计算等领域。。近十余年来，本人主要在面向众核计算机架构的操作系统/虚拟机性能优化，系统软件安全分析，以及面向国产自主可控的系统软件支持等研究热点上开展研究，取得了有一定国际/国内影响的研究成果。发表CCF Rank A/B/C的国际会议论文和国际期刊论文多篇。近5年来，获得省部级一等奖，国家科技进步二等奖多次。
姓名：陈雨亭
工作单位：上海交通大学
职称/职务：副教授
会员级别：专业
参加本专委时间：2017年
现任CCF职务：系统软件专委委员
个人简介：
上海交通大学计算机科学与工程系副教授、博士生导师。2000年和2003年在南京大学计算机科学与技术系获得本科和硕士学位，2007年在日本法政大学获得博士学位。2008年起在上海交通大学软件学院和计算机系任教至今。曾在美国德州大学达拉斯分校、加州大学戴维斯分校分别进行访问研究。主要研究兴趣包括程序分析及系统测试、数据驱动软件开发、形式化建模与验证等。
姓名：程龚
工作单位：南京大学
职称/职务：副教授
会员级别：专业
参加本专委时间：2015年
现任CCF职务：系统软件专委委员
个人简介：
2010年从东南大学获博士学位，2011年进入南京大学工作，2015年被聘为副教授，2017年入选江苏省“六大人才高峰”高层次人才。目前主要面向智能软件系统，研究语义网与知识图谱技术，研究主题包括语义搜索、数据摘要、智能问答等。主持国家重点研发计划、国家自然科学基金等资助的多个项目课题。在WWW、AAAI、IJCAI、TKDE等会议期刊上发表论文60余篇，获ISWC最佳论文提名2次，论文总引用2000余次。担任过ISWC短文程序委员会主席等职务。
姓名：冯新宇
工作单位：南京大学
职称/职务：教授
会员级别：专业
参加本专委时间：2010年
现任CCF职务：系统软件专委委员
个人简介：
分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago （TTIC）任研究助理教授（Research Assistant Professor）。2010年5月至2017年12月于中国科学技术大学计算机科学与技术学院任教授。2018年1月起加入南京大学计算机系任教授。
同时担任华为2012实验室中央软件院编程语言实验室主任。
姓名：郝丹
工作单位：北京大学
职称/职务：副教授
会员级别：高级
参加本专委时间：2017年
现任CCF职务：系统软件专委委员
个人简介：
郝丹2006年于北京大学获得博士学位，并进入北京大学工作，现为北京大学长聘副教授。研究方向为软件学科与理论，研究兴趣包括软件测试与排错、编译器测试等。2016年国家自然科学基金（优青项目）资助获得者，2017年受聘为教育部长江学者（青年学者），2018年获得国家自然科学基金委和英国皇家学会联合资助的高级牛顿学者计划。担任国际期刊Software Testing, Verification&Reliability编委，国际学术会议SPLC 2018的General Co-Chair，国际会议SPLC的SC，以及CCF A类会议ICSE、FSE、ASE、ISSTA的PB、OC、PC等。
姓名：胡春明
工作单位：北京航空航天大学计算机学院
职称/职务：长聘副教授，副院长
会员级别：高级
参加本专委时间：2006年
现任CCF职务：计算机学会通讯CCCF译文主编、系统软件专委会委员
个人简介：
2006年毕业于北京航空航天大学计算机学院，获计算机软件与理论专业工学博士学位，同年进入北京航空航天大学学院任教，2008年晋升副教授，2017年学院综合改革，进入教研系列，获批长聘副教授。目前担任北京航空航天大学计算机学院长聘副教授，副院长，博士生导师，北京市大数据科学与脑机智能高精尖创新中心副主任。
姓名：刘烃
工作单位：西安交通大学
职称/职务：教授/副院长
会员级别：专业
参加本专委时间：2018年
现任CCF职务：系统软件专委委员
个人简介：
1999至2003，西安交通大学，电信学院，信息工程，学士
2003至2010，西安交通大学，电信学院，系统工程，博士
2010至今，西安交通大学，电信学院，讲师、副教授、教授
2016年9月至2017年9月，美国康奈尔大学，访问学者
2018年4月至今，西安交通大学，电信学部网络空间安全学院，副院长
姓名：史佩昌
工作单位：国防科技大学计算机学院
职称/职务：副研究员
会员级别：专业
参加本专委时间：2017年
现任CCF职务：系统软件专委委员
个人简介：
博士毕业于国防科技大学计算机学院，专业为计算机科学与技术。长期从事系统软件相关研究与实践工作，主持国家自然科学基金、国防科技创新特区、国防科技基础加强等多个相关课题，在Arm64架构自主可控操作系统设计实现、云际计算操作系统构造演化机理、区块链系统分布一致性等方面取得一系列重要成果，发表高水平期刊/会议论文40余篇，申请国家专利10余项、国家标准1项，获军队科技进步二等奖1项、荣立三等功1次。
姓名：张伟哲
工作单位：哈尔滨工业大学/鹏城实验室
职称/职务：长聘教授/网络空间安全中心主任
会员级别：杰出
参加本专委时间：2016年
现任CCF职务：CCF嵌入式系统专委会常委
个人简介：
2006年获博士学位，分别于2007、2012年晋升为副教授、教授。哈尔滨工业大学长聘教授、博导，鹏城实验室网络空间安全研究中心主任、国家自然科学基金信息学部评审会专家、国家重点研发计划项目会评专家、中文信息学会测评工作委员会主任，中国计算机学会嵌入式系统专委常委，高性能计算专委和系统软件专委委员，ACM终生会员，IEEE高级会员。发表学术论文130余篇，论文引用总数超过1000余次，获得发明专利23项。主持了多个国家级项目，经费约7000万元。获黑龙江省高校科学技术奖励一等奖和科技进步二等奖。
姓名：张昱
工作单位：中国科学技术大学计算机学院
职称/职务：副教授
会员级别：高级
参加本专委时间：2013年
现任CCF职务：CCF合肥监督委员会主席、教育专委常委
个人简介：
1993.7于合肥工业大学获计算机及其应用学士学位；1996.7于合肥工业大学获计算机应用工学硕士学位；2004.12于中国科学技术大学获计算机软件与理论工学博士。1996.7至今，在中国科大计算机系任教，2004年1月起任副教授。2010.10-2011.10公派在美国耶鲁大学访问。长期从事编译原理、程序设计语言理论等的教学和科研工作，主持安徽省精品资源共享课“编译原理和技术”，主持获安徽省教学成果奖3次，是教育部计算机类教指委系统能力研究组成员。
京公网安备11010802017125号