• 搜基本信息
  • 搜全文
  • 搜全文
  • 搜基本信息

相关教师

换一批
:2024-01-19
:12408
陈明帅 博士
百人计划研究员 | 博士生导师
  • 浙江大学西溪校区北园东大楼510
    • · 数理逻辑与形式化验证
    • · 程序理论与自动推理
    • · 信息物理融合系统
    • · 概率与量子系统