中欧金融科技研究院的科学家团队拟推“监管科技”
近年金融科技发展迅猛，对金融监管提出新要求。一支来自牛津大学、北京大学和清华大学的专家团队正在研发推出助力“监管科技”的项目。
2017年9月28日，中英金融监管科技高峰论坛在深圳市罗湖区举办，记者在该论坛上获悉上述消息。
深圳人大常委会副主任、市科协主席蒋宇扬；政协深圳市委员会副主席、党组成员，深圳市源创力离岸创新中心理事长王学为；深圳市科创委党组书记、副主任邱宣；罗湖区委副书记、区人民政府区长、党组书记聂新平；罗湖区人民政府副区长宋强；来自海内外的科学家、企业家、创业家、投资家、政府管理部门以及媒体界的100多人出席了论坛。
中英名校教授纷纷登台，探讨金融科技产业应用前景
近年来，金融科技（Fintech）引发金融领域的深刻变革，其在拓宽金融可获得性、提高金融体系效率等方面的影响正在不断加大，成为影响未来金融业务模式的最重要因素之一。同时，金融科技的发展也对金融监管提出新的要求。因此，要利用科技创新推动 “监管科技创新”。
中英金融监管科技高峰论坛邀请了众多国内外专家学者，共同探讨区块链技术、金融监管技术、金融信息安全与金融大数据等一系列高端科技服务业的现状、价值与前景，并分析了相关行业对深圳甚至全国的金融产业结构转型升级的重大意义。
此次论坛上，清华大学五道口金融学院的谢平教授发表了主题为《人工智能金融监管》的演讲。
牛津大学教授、英国皇家工程院院士Bill Roscoe教授发表了主题为《智能合约验证与后量子区块链》的演讲。
牛津大学计算机软件工程中心主任，英国全国医疗大健康数据项目负责人Jim Davies教授发表了主题为《大数据的监管和应用》的演讲。
牛津大学计算机系教授Ivan Martinovic发表了主题为《对身份认证的攻击与防范办法》的演讲。
深圳市互联网金融协会李凯博士发表了主题为《金融科技的风险与监管》的演讲。
中国人民大学法学院副院长、人民大学金融科技与互联网安全中心主任杨东教授虽然并未到场，但是通过视频跟大家进行了交流。
中英专家团队着力“监管科技”最新技术
论坛讨论的话题焦点是监管科技发展现状及未来。
随着代码经济的发展，监管自身的滞后性使其不能快速地回应新兴技术问题，技术的发展更不可能脱离法律的规制，技术与法律的融合成为必然趋势。
2008年全球金融危机后的监管变化和技术发展，正在从根本上改变金融市场、服务和机构的性质，这两种现象集中表现为“监管科技（Regtech）”，即将最新科技，特别是信息科技，引入监管之中。
记者从会场获悉，为满足金融科技发展带来的新的监管需求，推动“监管科技（Regtech）”的发展，深圳市和信中欧金融科技研究院正在着力开展监管科技项目的研究。该项目正是以区块链智能合约安全保障与金融监管技术为研究对象，使用了形式化验证、计算法律学、软件漏洞检测、软件分析、程序语言和编译技术等多项技术，是一个涉及计算机信息技术、金融科技、监管科技和法学等多个学科和技术领域的交叉研究和产业化项目。
深圳市和信中欧金融科技研究院院长Bill Roscoe教授介绍，该项目以保障区块链智能合约的业务正确性、监管合规性、代码安全性为目标，通过构建智能合约开发和安全验证工具集，为智能合约设计人员、代码开发人员和金融监管人员提供高效的手段，规避智能合约漏洞与风险，助力金融监管科技手段升级。
记者获悉，该项目汇聚海内外在金融科技方面的权威专家学者，包括深圳市和信中欧金融科技研究院院长Bill Roscoe教授，Bill Roscoe教授为英国皇家工程院院士，在进程代数（Progress Algebra），并发控制（Concurrency），计算机验证（Verification）和计算机安全等领域曾做出了突出贡献，还包括牛津大学计算机系教授Cas Cremers、中国人民大学法学院教授、金融科技与互联网安全研究中心主任杨东，北京大学教授、北京大学金融信息化研究中心主任、中国计算机学会常务理事陈钟教授等知名专家。
