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

报 告 人：赵永望

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

报告地点：计A411

报告人简介：

赵永望，浙江大学教授、博士生导师，移动终端安全浙江省工程研究中心主任，工信部重大专项首席科学家，CCF杰出会员，CCF系统软件专委、形式化方法专委和抗恶劣计算专委执行委员，国际ARINC653操作系统标准委员会成员等。主要研究方向为形式化验证、系统安全、编程语言等，主持和参与工信部重大专项、国家自然基金重点项目、载人航天工程重点项目、浙江省尖兵计划项目等二十余项，获省部级科技进步一等奖2项。相关成果发表在ACM TOPLAS、IEEE TDSC等期刊和CAV、FM、TACAS等会议上。提出了操作系统形式验证的系统性理论和方法，已应用到十多个国产操作系统和国外工业/开源操作系统中，显著提升国产系统的安全可靠性。