• 搜基本信息
  • 搜全文
  • 搜全文
  • 搜基本信息
中文 | English
姚培森 博士
百人计划研究员 | 博士生导师
计算机科学与技术学院
二维码
2025-02-14
9933
  • 玉泉校区逸夫工商楼206室
    • · 编程语言: 程序分析与验证、程序合成与优化
    • · 数理逻辑: 自动定理证明
    • · 软件安全: 漏洞挖掘
  • 个人简介
  • 研究与成果
  • 软件
  • 教学与课程

相关教师

换一批

微信扫一扫：分享

Scan me!

微信里点“发现”，扫一下

二维码便可将本文分享至朋友圈。