赵永望
博士
教授
|
博士生导师
浙江省工程研究中心主任
2022-09-20
45561
- zhaoyw (@) zju.edu.cn
- 浙江大学玉泉校区
-
- · 形式化方法：形式逻辑、形式化验证、并发理论、定理证明、程序验证等
- · 操作系统与安全：OS形式化验证、微内核/分区/隔离内核、Linux内核、ARINC653等
- · 编程语言与编译：函数式编程、并发语言、程序语义、可信编译、程序证明等
- · 安全认证：CC信息安全认证、DO-178 B/C、ISO 26262、IEC 61508等