金融科技公开课第3期 | 北大教授孙猛解读《区块链形式化验证》

-会议内容-

活动背景

以大数据、云计算、人工智能、区块链以及移动互联网为引领的新的工业革命与科技革命，正带来金融学科的边界、研究范式不断被打破和被重构。

与此同时，中国正加速金融开放的脚步，并将全面放开金融业外资股比限制。中国金融机构将在本土正式面临国际金融机构的竞争与挑战。金融开放一方面有利于提升中国经济增长的潜力，另一方面也将带来金融业竞争的加剧和管理风险的提升。

在5G时代，随着信息技术的不断发达，金融市场的信息不对称现象将减少，基于人工智能与大数据的交易和投资策略可以重新定义金融市场的价格发现机制，提升交易速度，提升金融市场的流动性、效率和稳定性，监管机构可以更高效地分析、预警和防范金融市场的系统性风险。

因此，这也给金融科技的基础理论、技术应用研究带来了巨大的需求、潜力和空间。

2019年8月22日，中国人民银行印发《金融科技（FinTech）发展规划（2019-2021年）》，并提出到2021年，建立健全我国金融科技发展的“四梁八柱”。规划明确了未来三年金融科技工作的指导思想、基本原则、发展目标、重点任务和保障措施。规划提出到2021年，推动我国金融科技发展居于国际领先水平，实现金融科技应用先进可控、金融服务能力稳步增强、金融风控水平明显提高、金融监管效能持续提升、金融科技支撑不断完善、金融科技产业繁荣发展。

由此可见，进行金融科技相关研究，推动金融科技的发展，促进金融业与金融科技业的交流与互动，正当其时。

课程引言

区块链作为金融科技的核心技术之一，正在重构互联网金融乃至整个金融业的关键底层基础设施，从根本上颠覆了传统金融的固有逻辑、运行模式和业务范围。目前，区块链技术已经在诸多领域得到了非常广泛的应用，如何保障它的安全性已经成为一个至关重要的问题。本期我们将介绍区块链技术的发展历程、共识机制和安全性，探讨形式化验证技术在区块链安全性保障中的价值和作用，并思考区块链在金融领域的价值有哪些。

课程大纲

（1）如何保障区块链技术的安全性

（2）区块链技术的发展历程、共识机制和安全性

（3）形式化验证技术在区块链安全性保障中的价值和作用

（4）区块链在金融领域的价值有哪些

活动嘉宾

孙猛

北京大学数学科学学院信息与计算科学系教授，博士生导师，曾任联合国大学国际软件技术研究所客座研究员，荷兰数学与计算机科学研究中心研究员，主要研究领域为软件理论和形式化方法，近年来的工作主要包括：协调模型和语言，余代数理论及其应用，形式化建模，软件验证与测试，信息物理融合系统，面向服务与云计算，区块链智能合约的建模与验证，大数据分析，机器学习与深度学习的理论基础及相关技术在形式化验证中的应用。主持及作为主要成员参加国家及省部级项目十余项，在IEEE Transactions on Software Engineering、Theoretical Computer Science、Science of Computer Programming、ICSE、ESEC/FSE、FM等国际期刊及会议发表论文90余篇，获TASE 2015等多个国际会议最佳论文奖，担任ICFEM 2018等多个国际会议程序委员会主席，FM 2019、TACAS 2019等60余个国际会议程序委员会委员。

活动形式

小鹅通线上直播

~扫描二维码进入直播间~

活动时间

2020.08.27（周四）

19：30 - 20：30

主办单位

北京大学大数据分析与应用技术国家工程实验室

睿智合创（北京）科技有限公司

主办方介绍

北京大学大数据分析与应用技术国家工程实验室由国家发展和改革委员会批复组建，整合了数学科学学院、信息科学学院和前沿交叉学院大数据科学中心的优势研究力量和学科资源，是承担原创大数据理论和技术的应用开发和成果转化的创新平台，致力于面向企业一线技术需求的数学基础研究与工程应用交叉融合发展以及大数据和人工智能学科的人才培养。

睿智合创（北京）科技有限公司是一家以“打破金融信息非对称”为使命，为广大金融机构提供大数据洞察力系列产品、一站式科技赋能、智能导流三大核心业务的智能金融科技企业。睿智科技依托大数据洞察力和人工智能技术，致力于成为连接亿万消费者的金融需求与千百家金融机构信贷供给的智能金融枢纽，为促进中国金融繁荣与普惠做出贡献。

-主办方介绍-

北京大学

北京大学（Peking University），简称北大，诞生于1898年，初名京师大学堂，是中国近代第一所国立大学[1] ，也是最早以“大学”身份及名称而建立的学校，其成立标志着中国近代高等教育的开端。北大是中国近代以来唯一以国家最高学府身份创立的学校，最初也是国家最高教育行政机关，行使教育部职能，统管全国教育。北大催生了中国最早的现代学制，并开创了中国最早的文科、理科、社科、农科、医科等大学学科，是近代以来中国高等教育的奠基者。

睿智科技