携手形式化方法守望计算之春——记上海交通大学电子信息与电气工程学院特别副研究员符鸿飞

摘要：

伴随着区块链概念的大火,整个金融市场似乎都显得异常兴奋,可在区块链概念被越来越多的人所知晓的同时,金融市场的不景气也在迫使区块链的浪潮逐渐退去.但不可否认的是,在这个过程中,区块链领域也取得了一些实质性的进步.其中,形式化验证的应用就是极为重要的一方面.如果说在几年前,形式化验证还处于理论研究阶段,如今,几年后的形式化验证已经摇身一变,相继在工业界、智能合约的安全审计等多个领域中得到实质性应用,也吸引了无数科研学者投身于此.来自上海交通大学电子信息与电气工程学院的特别副研究员符鸿飞就是其中一位,多年来,他将研究重点放在理论计算机科学中的形式化验证领域里,并做出重大贡献,他用形式化的方法为计算机系统保驾护航,一点点践行着自身的科研理念.

在线出版日期：2019-05-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：49-51