• 搜基本信息
  • 搜全文
  • 搜全文
  • 搜基本信息
赵永望 博士
教授 | 博士生导师
浙江省工程实验室主任
二维码

2021-08-10

11804

  • 浙江大学玉泉校区
    • · 形式化方法:形式逻辑、形式化验证、并发理论、定理证明、程序验证等
    • · 操作系统与安全:OS形式化验证、微内核/分区/隔离内核、Linux内核、ARINC653等
    • · 编程语言与编译:函数式编程、并发语言、程序语义、可信编译、程序证明等
    • · 安全认证:CC信息安全认证、DO-178 B/C、ISO 26262、IEC 61508等
  • 个人简介
  • 研究与成果
  • 教学与课程
  • 科研项目