相关教师
换一批
：2026-04-10
：31430
陈明帅
博士
百人计划研究员
|
博士生导师
浙江大学滨江研究院党总支书记、副院长
- m.chen@zju.edu.cn
- 浙江大学西溪校区北园东大楼510
-
- · 数理逻辑与形式化验证
- · 程序理论与自动推理
- · 信息物理融合系统
- · 概率与量子系统
- · AI驱动的形式化方法