北大-睿智金融科技公益公开课第三期开讲：《区块链形式化验证》

　　由北京大学大数据分析与应用技术国家工程实验室和睿智合创(北京)科技有限公司(简称“睿智科技”)联合举办的金融科技公益公开课第三期将于8月27日(周四)晚7：30线上开课。北京大学数学科学学院信息与计算科学系教授、博士生导师孙猛将为大家带来《区块链形式化验证》课程。

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

　　北大-睿智金融科技公益公开课系列于5月7日起面向全网免费开课，首期课程为睿智科技首席战略官、摩根大通银行原董事总经理、美国运通公司原首席信贷官林晴带来的《美国金融危机背景下的中国启示录》;第二期课程为北京大学数字金融研究中心副主任，北京大学国家发展研究院副教授、博士生导师，斯坦福大学经济学博士黄卓带来的《金融科技时代的中国财富管理》。

　　欢迎关注公众号【睿智科技Wiseco】，点击【课程直播】观看课程。

　　8月27日(周四)晚7：30，期待您的参与，我们不见不散……

　　关于主讲嘉宾

　　孙猛，北京大学数学科学学院信息与计算科学系教授，博士生导师，曾任联合国大学国际软件技术研究所客座研究员，荷兰数学与计算机科学研究中心研究员，主要研究领域为软件理论和形式化方法。

　　孙猛近年来的工作主要包括：协调模型和语言，余代数理论及其应用，形式化建模，软件验证与测试，信息物理融合系统，面向服务与云计算，区块链智能合约的建模与验证，大数据分析，机器学习与深度学习的理论基础及相关技术在形式化验证中的应用。

　　孙猛主持及作为主要成员参加国家及省部级项目十余项，在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余个国际会议程序委员会委员。

　　关于主办方：

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

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