相关教师
换一批
：2024-12-09
：20644
陈明帅
博士
百人计划研究员
|
博士生导师
- m.chen@zju.edu.cn
- 浙江大学西溪校区北园东大楼510
-
- · 数理逻辑与形式化验证
- · 程序理论与自动推理
- · 信息物理融合系统
- · 概率与量子系统