活動(dòng)背景

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

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

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

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

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

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

課程引言

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

課程大綱

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

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

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

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

活動(dòng)嘉賓

孫猛

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

活動(dòng)形式

小鵝通線上直播

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

活動(dòng)時(shí)間

2020.08.27（周四）

19：30 - 20：30

主辦單位

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

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

主辦方介紹

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

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