报告题目：区块链与智能合约技术及应用
时 间：2021年11月11日（星期四）晚上20：00
地 点：腾讯会议ID：145 278 148
主 办：数学与统计学院、福建省应用数学中心（福建师范大学）、福建师范大学数学研究中心
参加对象：感兴趣的老师与研究生
报告摘要：区块链技术近年来得到了广泛的关注，本报告将分为两个部分，分别对区块链技术及其应用和智能合约技术分别进行介绍，其中，智能合约是第二代区块链的技术核心，它是区块链从虚拟货币、金融交易协议到区块链通用软件开发工具发展的必然结果。然而，目前智能合约技术尚不完善，对智能合约概念及内涵缺乏较为系统的分析，对基于区块链的智能合约软件系统也缺少体系上的归纳与总结。有鉴于此，本报告从智能合约的基本定义入手，介绍了智能合约的发展历史、分类、规范等概念，进而从抽象计算模型角度出发给出了智能合约的通用架构，并对智能合约语言与编译机制、合约部署机制与合约运行过程予以介绍，并对智能合约的应用加以介绍，能够帮助听众更加详细的了解智能合约技术和发展方向。
报告人简介：北京科技大学计算机与通信工程学院教授、博导。曾就职于北京大学并在亚利桑那州立大学（ASU）和密西根大学（UMICH）开展合作研究。感兴趣的研究领域包括：信息安全、密码学、随机算法等。曾先后主持或参加十余项国家自然科学基金、科技部重点研发计划、国家863/973计划、国家发改委、国家密码发展基金等科研课题。目前已在国内外会议与期刊上发表SCI/EI检索论文100余篇，被它引超过三千次（Google学术），已申请和授权（中国和美国）专利20余项，中国密码学会安全协议专业委员会会员，中国电子学会区块链专委会副主任，北京市通信保障和信息安全应急专家。