• 搜基本信息
  • 搜全文
  • 搜全文
  • 搜基本信息
姚培森 博士
百人计划研究员 | 博士生导师
二维码
2024-11-30
8105
  • B06楼311室,浙江大学杭州国际科创中心水博园区
    • · 编程语言: 程序分析与验证、程序合成与优化
    • · 数理逻辑: 自动定理证明
    • · 软件安全: 漏洞挖掘
  • 个人简介
  • 研究与成果
  • 软件
  • 教学与课程

相关教师

换一批