常瑞
工学博士
副教授
博士生导师
-
单位:
计算机科学与技术学院
- 地址: 玉泉校区曹光彪楼
- 邮箱: crix1021@zju.edu.cn
-
研究方向:
- · 智能计算系统及安全(硬件辅助安全、体系结构安全、智能车载系统安全、AI Agent安全)
- · 形式化方法（定理证明、模型检测、智能增强的自动化证明）
- · LLM 程序分析（面向java、rust、go、C、C++等语言生态）
- 个人简介
- 教学与课程
- 研究与成果
换一批
更新时间
2025-12-04
总访问量:48335