姚培森
博士
百人计划研究员
|
博士生导师
- pyaoaa@zju.edu.cn
- B06楼311室，浙江大学杭州国际科创中心水博园区
-
- · 编程语言: 程序分析与验证、程序合成与优化
- · 数理逻辑: 自动定理证明
- · 软件安全: 漏洞挖掘