报告主题：软件形式化安全

报 告 人：Dr.David Sanan

报告时间：2023年5月25日下午2:30

报告地点：计A411

报告摘要：

The report mainly focuses on formal methods applied to a wide number of applications going from programming language semantics to software verification. In particular, David has been working during the last years on applying formal methods to real-world applications like quantum computing, certification of smart contracts, and the verification of security micro-kernels in the Aerospace and Electric-Vehicle domain. 

报告人简介：

Dr. David Sanan is an Assistant Professor at the Singapore Institute of Technology. He received his M.S. degree in computer science and his PhD degree in Software Engineering and Artificial Intelligence from the University of Malaga, Malaga, Spain, in 2003 and 2009, respectively.