活動背景

以大數(shù)據(jù)、云計算、人工智能、區(qū)塊鏈以及移動互聯(lián)網(wǎng)為引領(lǐng)的新的工業(yè)革命與科技革命，正帶來金融學(xué)科的邊界、研究范式不斷被打破和被重構(gòu)。

與此同時，中國正加速金融開放的腳步，并將全面放開金融業(yè)外資股比限制。中國金融機(jī)構(gòu)將在本土正式面臨國際金融機(jī)構(gòu)的競爭與挑戰(zhàn)。金融開放一方面有利于提升中國經(jīng)濟(jì)增長的潛力，另一方面也將帶來金融業(yè)競爭的加劇和管理風(fēng)險的提升。

在5G時代，隨著信息技術(shù)的不斷發(fā)達(dá)，金融市場的信息不對稱現(xiàn)象將減少，基于人工智能與大數(shù)據(jù)的交易和投資策略可以重新定義金融市場的價格發(fā)現(xiàn)機(jī)制，提升交易速度，提升金融市場的流動性、效率和穩(wěn)定性，監(jiān)管機(jī)構(gòu)可以更高效地分析、預(yù)警和防范金融市場的系統(tǒng)性風(fēng)險。

因此，這也給金融科技的基礎(chǔ)理論、技術(shù)應(yīng)用研究帶來了巨大的需求、潛力和空間。

2019年8月22日，中國人民銀行印發(fā)《金融科技（FinTech）發(fā)展規(guī)劃（2019-2021年）》，并提出到2021年，建立健全我國金融科技發(fā)展的“四梁八柱”。規(guī)劃明確了未來三年金融科技工作的指導(dǎo)思想、基本原則、發(fā)展目標(biāo)、重點任務(wù)和保障措施。規(guī)劃提出到2021年，推動我國金融科技發(fā)展居于國際領(lǐng)先水平，實現(xiàn)金融科技應(yīng)用先進(jìn)可控、金融服務(wù)能力穩(wěn)步增強(qiáng)、金融風(fēng)控水平明顯提高、金融監(jiān)管效能持續(xù)提升、金融科技支撐不斷完善、金融科技產(chǎn)業(yè)繁榮發(fā)展。

由此可見，進(jìn)行金融科技相關(guān)研究，推動金融科技的發(fā)展，促進(jìn)金融業(yè)與金融科技業(yè)的交流與互動，正當(dāng)其時。

課程引言

區(qū)塊鏈作為金融科技的核心技術(shù)之一，正在重構(gòu)互聯(lián)網(wǎng)金融乃至整個金融業(yè)的關(guān)鍵底層基礎(chǔ)設(shè)施，從根本上顛覆了傳統(tǒng)金融的固有邏輯、運行模式和業(yè)務(wù)范圍。目前，區(qū)塊鏈技術(shù)已經(jīng)在諸多領(lǐng)域得到了非常廣泛的應(yīng)用，如何保障它的安全性已經(jīng)成為一個至關(guān)重要的問題。本期我們將介紹區(qū)塊鏈技術(shù)的發(fā)展歷程、共識機(jī)制和安全性，探討形式化驗證技術(shù)在區(qū)塊鏈安全性保障中的價值和作用，并思考區(qū)塊鏈在金融領(lǐng)域的價值有哪些。

課程大綱

（1）如何保障區(qū)塊鏈技術(shù)的安全性

（2）區(qū)塊鏈技術(shù)的發(fā)展歷程、共識機(jī)制和安全性

（3）形式化驗證技術(shù)在區(qū)塊鏈安全性保障中的價值和作用

（4）區(qū)塊鏈在金融領(lǐng)域的價值有哪些

活動嘉賓

孫猛

北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院信息與計算科學(xué)系教授，博士生導(dǎo)師，曾任聯(lián)合國大學(xué)國際軟件技術(shù)研究所客座研究員，荷蘭數(shù)學(xué)與計算機(jī)科學(xué)研究中心研究員，主要研究領(lǐng)域為軟件理論和形式化方法，近年來的工作主要包括：協(xié)調(diào)模型和語言，余代數(shù)理論及其應(yīng)用，形式化建模，軟件驗證與測試，信息物理融合系統(tǒng)，面向服務(wù)與云計算，區(qū)塊鏈智能合約的建模與驗證，大數(shù)據(jù)分析，機(jī)器學(xué)習(xí)與深度學(xué)習(xí)的理論基礎(chǔ)及相關(guān)技術(shù)在形式化驗證中的應(yīng)用。主持及作為主要成員參加國家及省部級項目十余項，在IEEE Transactions on Software Engineering、Theoretical Computer Science、Science of Computer Programming、ICSE、ESEC/FSE、FM等國際期刊及會議發(fā)表論文90余篇，獲TASE 2015等多個國際會議最佳論文獎，擔(dān)任ICFEM 2018等多個國際會議程序委員會主席，F(xiàn)M 2019、TACAS 2019等60余個國際會議程序委員會委員。

活動形式

小鵝通線上直播

~掃描二維碼進(jìn)入直播間~

活動時間

2020.08.27（周四）

19：30 - 20：30

主辦單位

北京大學(xué)大數(shù)據(jù)分析與應(yīng)用技術(shù)國家工程實驗室

睿智合創(chuàng)（北京）科技有限公司

主辦方介紹

北京大學(xué)大數(shù)據(jù)分析與應(yīng)用技術(shù)國家工程實驗室由國家發(fā)展和改革委員會批復(fù)組建，整合了數(shù)學(xué)科學(xué)學(xué)院、信息科學(xué)學(xué)院和前沿交叉學(xué)院大數(shù)據(jù)科學(xué)中心的優(yōu)勢研究力量和學(xué)科資源，是承擔(dān)原創(chuàng)大數(shù)據(jù)理論和技術(shù)的應(yīng)用開發(fā)和成果轉(zhuǎn)化的創(chuàng)新平臺，致力于面向企業(yè)一線技術(shù)需求的數(shù)學(xué)基礎(chǔ)研究與工程應(yīng)用交叉融合發(fā)展以及大數(shù)據(jù)和人工智能學(xué)科的人才培養(yǎng)。

睿智合創(chuàng)（北京）科技有限公司是一家以“打破金融信息非對稱”為使命，為廣大金融機(jī)構(gòu)提供大數(shù)據(jù)洞察力系列產(chǎn)品、一站式科技賦能、智能導(dǎo)流三大核心業(yè)務(wù)的智能金融科技企業(yè)。睿智科技依托大數(shù)據(jù)洞察力和人工智能技術(shù)，致力于成為連接億萬消費者的金融需求與千百家金融機(jī)構(gòu)信貸供給的智能金融樞紐，為促進(jìn)中國金融繁榮與普惠做出貢獻(xiàn)。