华为CCF胡杨林基金论坛 | CNCC2021

华为CCF胡杨林基金是华为面向泛计算领域的综合科研基金，目前已经覆盖数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域，累计投入金额千万级人民币，未来会依托CCF学会平台发布更多领域基金项目。本次论坛邀请了林惠民院士、华为战略与业务发展副总裁 肖然、华为计算产品线副总裁 姜涛、CCF数据库专委 李战怀教授、CCF信息存储专委主任 舒继武教授等多为专家领导，介绍未来技术趋势和胡杨林基金未来投入方向。欢迎各领域专家、学者特别是希望参与胡杨林基金项目的专家参与本次论坛，了解本情况。

肖然

报告题目：开场致辞

个人简介：肖然先生1998年加入华为公司，现任公司战略与产业发展副总裁。自加入华为以来，肖然历任固定网络产品线OSS&EMS产品部部长，固定网络产品线战略与业务发展部总裁，运营商BG 战略与业务发展部总裁，产品与解决方案体系战略与业务发展部总裁，在研发、战略、标准、开源、开发者生态方面等方面累积了丰富的经验，目前负责公司产业发展与生态相关工作，致力于同产业伙伴合作做大产业，共建万物互联的智能世界。肖然先生毕业于南京大学计算机科学专业，并获香港理工大学MBA学位。

李战怀

报告题目：数据库领域技术趋势和胡杨林基金未来投入方向建议

个人简介：李战怀，西北工业大学计算机学院教授、博士生导师，工业和信息化部大数据存储与管理重点实验室主任；中国计算机学会数据库专委会主任委员；中国航天学会计算机应用专业委员会委员；2013-2017年教育部高等学校教学指导委员会委员；先后主持了国家973课题、科技部重点研发计划课题、国家自然科学基金重点项目、国家自然科学基金重大国际合作项目、国家863计划重大项目课题、国防科技预研等项目。数十次担任国际学术会议的程序委员会委员（或主席），获省部级一等奖、二等奖各两项。目前主要从事的研究领域有：大数据管理技术、海量信息存储系统等。

王林章

报告题目：系统软件领域技术趋势和未来胡杨林基金投入方向

个人简介：王林章，南京大学计算机科学与技术系教授、博士生导师，任计算机软件新技术国家重点实验室主任助理、CCF系统软件专委会副主任、国家软件工程标准化委员会委员、江苏省计算机学会软件专委会主任、CCF-华为创新研究计划系统软件专项技术管理委员会主任，教学和科研工作主要关注软件分析与测试、软件安全、软件架构、智能化软件技术等软件工程、系统软件领域相关方向。主持国家自然科学基金重点项目、国家重点研发项目课题，在ACM TOCS、IEEE TSE、OOPSLA、PLDI、ICSE、ASE、ISSTA软件领域国际期刊会议上发表多篇学术论文，曾获ACM OOPSLA2013最佳论文奖、ACM OOPSLA2020杰出论文奖。

詹乃军

报告题目：形式化方法领域技术趋势和胡杨林基金未来投入方向建议

个人简介：詹乃军，1971年5月生，中科院软件所研究员，中科院特聘研究员，中国科学院大学岗位教授，博士生导师，计算机科学国家重点实验室副主任，国家杰出青年科学基金获得者。分别在南京大学数学系（1989-1993）和南京大学计算机系（1993-1996）获得学士和硕士学位，在中国科学院软件研究所获得博士学位（1997-2000）。研究方向包括：形式化方法，实时、嵌入式、混成系统，程序验证等。任《Formal Aspects of Computing》、《J. of Logical and Algebraic Methods in Programming》、《软件学报》、《计算机研究与发展》等期刊编委，国际会议MEMOCODE和SETTA的指导委员会委员，多个国际会议程序委员会共同主席（如FM 2021）和著名国际会议程序委员会委员（如CAV、RTSS、HSCC、ICCPS、EMSOFT等）；在著名国际会议和杂志发表论文100多篇，出版专著2部，编著4部。

张云泉

报告题目：高性能计算领域技术趋势和胡杨林基金未来投入方向建议

个人简介：张云泉，博士，中科院计算所研究员，博士生导师，并行软件实验室主任。中国工业与应用数学学会副秘书长，中国计算机学会高专委秘书长。主要研究方向为并行程序设计和性能评价、并行计算和并行编程模型等。已在国内外学术刊物上发表论文二百余篇，出版专著两部，译著七部。获2000年和2019年国家科技进步奖二等奖各一项，2017年首届CCF青竹奖获得者，2017年中科院科教成果一等奖，2017年中科院杰出科学与技术成就奖，2017年度国际艾奇奖。中国智能计算产业联盟执行理事长，ACM中国高性能计算专家委员会主席，中国软件行业协会常务理事。中国高性能计算机TOP100排行榜创始人和发布者，国际人工智能算力排行榜AIPerf500发起人，PAC，CCF CPC和ACM IPCC超算大赛创始人。一百多次担任国际会议程序委员会委员和共同主席。中科院《数据与计算发展前沿》副主编。《中国图象图形学报》和《计算机科学与探索》编委。光明日报科普专家委员会委员，国家基因库高级顾问，青海省大数据与云计算咨询专家委员会委员，贵州省农业大数据专家委会会委员，内蒙古环球智库大数据发展中心专家委员会委员，郑州市智慧城市专家委员会委员，吕粱市大数据专家咨询委员会委员和政府转型专家顾问，江西抚州市算力专家咨询委员会执行主任。九三学社中央科技专委委员，中央科普工委委员，中央促进技术创新工作委员会委员。

李戈

报告题目：软件工程领域技术趋势和胡杨林基金未来投入方向建议

个人简介：李戈，北京大学信息科学技术学院计算机科学技术系副教授，主要研究领域：程序理解与生成，深度学习与知识工程。毕业于北京大学计算机系，曾赴斯坦福大学计算机系人工智能实验室从事合作研究，任职访问副教授，CCF软件工程专委会秘书长。长期聚焦于基于深度学习的程序理解与程序生成的研究，在NIPS/AAAI/IJCAI/ACL/ICSE/ASE/ICPC/TOSEM/EMSE等发表论文40余篇，多篇论文被国际学者认为是首创成果并广泛引用。获教育部科技进步一等奖，北京市科技发明二等奖，CCF科技发明一等奖，中创软件人才奖，ACM杰出论文奖。所授课程分别被认定为国家级一流线下课程和国家级一流线上课程。科研转化成果aiXcoder为航天、互联网、银行等领域的多家头部企业和数十万国际开发者提供服务。

曾正阳

报告题目：软件工程领域技术趋势和胡杨林基金未来投入方向建议

个人简介：华为研发工具首席架构师，负责华为内部研发工具服务以及华为云DevCloud架构设计，专注于构建高可用、稳定性、可扩展的一体化研发作业平台，助力开发者提升开发和运维效率。

多年互联网架构设计和研发工作，从事过WIKI百科、PaaS、金融大数据等领域，在微服务、云原生、分布式架构、大数据、DevOps等方面有丰富的经验，国内最早一批PaaS实践者。

舒继武

报告题目：信息存储技术技术趋势和胡杨林基金未来投入方向建议

个人简介：舒继武，博士，清华大学计算机系长聘教授，厦门大学信息学院院长，教育部长江学者特聘教授，国家杰出青年基金获得者，IEEE Fellow，中国计算机学会会士、信息存储技术专业委员会主任，灾备技术国家工程实验室副主任；国际期刊《ACM Transactions on Storage》和《IEEE Transactions on Computers》的Associate Editor；主要研究领域为新型存储系统与技术、网络（/云/大数据）存储系统、存储可靠性与安全等，相关成果发表在包括SOSP、OSDI、FAST、USENIX ATC、MICRO、ISCA、ASPLOS、SC、DAC、VLDB等重要国际学术会议和IEEE/ACM Trans.等权威期刊上；承担过国家重点研发项目、863项目和课题、973课题、国家自然科学基金重点项目等。获国家科技进步二等奖和国家发明技术二等奖各1次, 2020年华为首届“奥林帕斯奖”。

斯雪明

报告题目：区块链领域技术趋势和胡杨林基金未来投入方向建议

个人简介：中国计算机学会区块链专委会主任，福州市区块链首席专家，上海交大区块链研究中心首席科学家，上海市数据科学重点实验室（复旦大学）副主任，复旦大学SKA与区块链研究室主任，郑州大学兼职教授，解放军信息工程大学网络空间安全学院、数学工程与先进计算国家重点实验室研究员。中国区块链基础技术与应用创新联盟牵头人，中国大数据产业应用协同创新联盟副理事长，全国高校人工智能与大数据创新联盟副理事长，中国大数据产业应用协同创新研究院副院长，国际大科学工程--平方公里阵列射电望远镜（SKA）项目中方专家委员会委员、SKA科学数据处理中方联盟执行委员会主任、国家重点研发计划《SKA科学数据处理关键技术研究》项目负责人，上海市战略性信息产业推进工作专家委员会委员，解放军信息工程大学军民融合办公室特聘专家。专业方向为密码学、数据科学、计算机体系结构、网络与信息系统安全、区块链。

曲强

报告题目：区块链领域技术趋势和胡杨林基金未来投入方向建议

个人简介：曲强，华为云区块链Lab主任 中科院研究员、博导，获得深圳市地方领军人才称号。中国科学院深圳先进技术研究院广东省区块链与分布式物联网安全工程研究中心主任，华为云区块链实验室主任/首席科学家。中国计算机学会区块链专委会、中国物流与采购联合会区块链应用分会专家委员会委员、亚洲区块链产业研究院学术专家委员会委员。此外，曲强为香港中文大学深圳校区客座教授、俄罗斯伊诺珀利斯大学客座教授，并曾在美国卡内基梅隆大学、苏黎世联邦理工大学等任职。曲强博士主要研究领域是区块链系统、数据库系统与数据智能系统，在顶级学术期刊和会议上发表论文百余篇，撰写中英文专著数部，包括《区块链+人工智能：下一个改变世界的经济新模式》，时空区块链技术在迪拜获得由IBM联合WISE 2018授予的最佳论文奖等。主持国家级与省部级项目多项，担任科技部重点研发计划专项项目首席科学家等。