中国计算机学会青年计算机科技论坛

CCF Young Computer Scientists & Engineers Forum

CCF YOCSEF

于2019年4月13日(星期六)14:00-17:30

在北京中科院计算所四层报告厅举行

学术报告会，敬请光临

报告会主题

区块链技术本体及应用

区块链技术自诞生以来以其独特的技术优势，如去中心化、公开、透明、不可篡改等正被逐渐应用于金融、公益、供应链、政府事务、物联网等诸多产业领域，陆续有创新应用模式落地。中国对区块链的稳定发展和创新应用亦是重视有加。2016年工信部牵头发布的《中国区块链技术及应用发展白皮书》、188体育app官网：工信部进一步明确提出将推动区块链核心技术能力建设，支持开展区块链领域的创业创新，鼓励与实体经济深度融合。我国将加快推动重点标准研制和应用推广，构建完善区块链标准体系，完善政策环境。

 作为一项新兴技术，区块链技术经历了“诞生促动期”的市场“热炒”，被推高至“过度期望”，而近一年则遭遇了“冰火两重天”，市场不乏“冷贬之声”。任何一项新兴技术涉及到基础层面的技术本体，往往会因为研究不透彻，信息不对称，容易被人利用来构造骗局，因而更是需要深入探究，透过现象看清其本质。

为推动区块链基础核心技术研究和行业应用落地；探索区块链与实体经济深度融合路径，CCF YOCSEF 特邀请业界学界专家以“溯源技术本体 推动落地应用”为主题共同探讨区块链技术本体，探索区块链技术应用范畴及行业落地拓展，促进区块链技术从“泡沫化谷底”稳步爬升到“实质生产稳定期”。

特邀讲者  斯雪明

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

报告题目：区块链技术原理与发展趋势

报告提要：本次报告将首先简单回顾区块链发展历史；介绍区块链的技术原理；分析区块链的国内外发展现现状；接着介绍区块链的应用案例及对区块链的前景展望；最后会分享对发展区块链技术与产业的一些思考。

特邀讲者 刘权

工信部赛迪智库网络安全研究所所长、赛迪区块链研究院 院长、博士，中国电子认证服务产业联盟秘书长。主要从事信息化、信息安全等领域发展规划、战略研究工作。多年来，先后承担了我国信息安全战略研究、我国信息安全保障体系战略研究、信息技术产品国产化评价体系、网络可信身份战略、网络强国战略等国家级课题70多项；在国内外杂志期刊发表论文100余篇、出版专业书籍20多本。

报告题目：区块链面临问题及发展趋势

报告提要：本次报告将首先分析区块链目前面临的主要问题，展望区块链未来发展趋势，最后分享一下对业界188体育投注：区块链关注焦点问题的认知。

特邀讲者  蔡维德 

国家特聘专家，北航博导，麻省理工学院学士，加州大学伯克利分校计算机科学专业博士，在美国明尼苏大大学和亚利桑那州立大学教育研究30年。英国伦敦大学学院区块链研究中心科学顾问，天德科技首席科学家，国家大数据（贵州）综合实验区区块链互联网实验室主任，赛迪（青岛）区块链研究院名誉院长，任多个政府和公司顾问。论文585+篇，著作6本，论文引用过万次，h-index>54

报告题目：比格犬智能合约开发框架

报告提要：智能合约从一开始就充满争议，从概念提出到后来以太坊的实现，争议只有增加。计算机学者和法学家合作努力将智能合约成为又智能又符合法律的合约。这会是数字法庭，数字社会、数字金融的基础技术。比格犬智能合约开发框架是一个全新的法律与计算机融合的技术，可用来发展智能合约。本次报告将介绍我们提出的“比格犬智能合约开发框架”及“比格犬框架”的五个阶段：领域分析、领域模板、形式化模型和代码生成、验证、合约执行时监控。

特邀讲者  龙承念

上海交通大学自动化系教授、博士生导师。IEEE Blockchain Technical Briefs Editor, 中国自动化学会区块链专业委员会委员，中国自动化学会工业系统信息安全专业委员会委员，中国创造学会智能制造与服务分会常务理事。主要研究方向为物联网、区块链，分布式人工智能和信息物理系统安全，发表国际期刊与会议论文80余篇，研究成果SCI他人引用400余次，研究成果先后获国家自然科学奖二等奖和3次教育部自然科学一等奖。入选教育部新世纪人才，上海市浦江人才等人才支持计划。

报告题目：可信智能物联网：关键技术与应用案例