• 基本信息
  • 全文搜索
  • 全文搜索
  • 基本信息
中文 | English
二维码
常瑞
工学博士
副教授
博士生导师
  • 单位: 计算机科学与技术学院
  • 地址: 玉泉校区曹光彪楼
  • 邮箱: crix1021@zju.edu.cn
  • 研究方向:
    • · 硬件辅助安全(体系架构安全、可信执行环境、内核安全、异构计算)
    • · 形式化验证（定理证明、模型检测、自动化验证）
    • · 程序分析（符号执行、模糊测试、LLM辅助的静态分析）
  • 个人简介
  • 教学与课程
  • 研究与成果
相关链接
相关教师
  • 宋宏伟

    计算机科学与技术学院

  • 黄劲

    计算机科学与技术学院

  • 高艺

    计算机科学与技术学院

  • 董亚波

    计算机科学与技术学院

  • 胡星

    计算机科学与技术学院

  • 耿卫东

    计算机科学与技术学院

换一批
更新时间
2025-03-11
总访问量:42423

微信扫一扫：分享

Scan me!

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

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