姚培森
博士
百人计划研究员
|
博士生导师
- pyaoaa@zju.edu.cn
- 9号楼362室，浙江大学杭州国际科创中心
-
- · 编程语言: 程序分析与验证、程序合成
- · 计算机理论: 约束求解、定理证明
- · 软件安全: 模糊测试