讲座时间：2019年11月1日（周五）14:00-16:00

讲座地点：信息学院216

讲座主题：面向区块链智能合约的形式化验证技术

主讲嘉宾：Jean-Pierre

语言：英文

讲座内容：

Smart contract is one important part for Blockchain 2.0. In essence, it is codes running on distributed blockchain system and requires much higher reliability. With the development of blockchain application, smart contract plays more significant role.

Formal verification is a prominent technology for high security embedded system. Compared to traditional testing methods, formal model could give stronger capacity to ensure system’s reliability. Verifying smart contract on blockchain is a new field and acquires more and more attentions. The presentation will give a brief introduction about the new technology and trend.

嘉宾简介：

Jean-Pierre，法国计算机及自动化研究院高级教授研究员 ，法国国家信息与自动化研究所（INRIA）项目团队ESPRESSO负责人，JITEA2项目OPEES的法国国家信息与自动化研究所（INRIA）方面的科学代表和执行主管，SLAP++研讨会系列指导委员会的委员。同时，教授于2014年和2017年获得中国外国专家局授予的高端外国专家荣誉称号，于2014年获得中国科学院授予的中科院外国专家特聘研究员荣誉称号。

近年来教授在ACM Transactions等国际期刊和IEEE，springer检索的重要会议上发表高水平学术论文百余篇，并获得ACM/IEEE LICS 的20 年杰出论文奖、ACM SIGPLAN的POPL 10年最有影响论文奖，2004年ACM 最佳论文奖，同时又是ANR法国科学基金科研成果奖以及ITEA2欧盟科学基金杰出科研奖等重大奖项的获得者，在推动同步语言国际学术研究方面做出了重要贡献。

欢迎广大师生前来聆听！