首页
学校概况
浙大服务
关于主页
搜基本信息
搜全文
搜全文
搜基本信息
中文
|
English
欢迎您 !
管理主页
退出登录
登录
姚培森
博士
百人计划研究员
|
博士生导师
单位
计算机科学与技术学院
更新时间 :
2024-11-30
总访问量 :
8105
邮箱
pyaoaa@zju.edu.cn
地址
B06楼311室,浙江大学杭州国际科创中心水博园区
研究方向
·
编程语言: 程序分析与验证、程序合成与优化
·
数理逻辑: 自动定理证明
·
软件安全: 漏洞挖掘
个人简介
研究与成果
软件
教学与课程
相关教师
换一批