首页
学校概况
浙大服务
关于主页
搜基本信息
搜全文
搜全文
搜基本信息
中文
|
English
欢迎您 !
管理主页
退出登录
登录
姚培森
博士
百人计划研究员
|
博士生导师
单位
计算机科学与技术学院
更新时间 :
2024-04-02
总访问量 :
4804
邮箱
pyaoaa@zju.edu.cn
地址
9号楼362室,浙江大学杭州国际科创中心
研究方向
·
编程语言: 程序分析与验证、程序合成
·
计算机理论: 约束求解、定理证明
·
软件安全: 模糊测试
个人简介
研究与成果
软件
教学与课程
相关教师
换一批