个人资料
教育经历工作经历个人简介社会兼职研究方向主要研究领域: 高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论 国家自然科学基金委"可信软件基础研究"重大研究计划‚首席科学家科技部"海量信息的协同性和可生存性的理论与实践研究"973项目‚首席科学家招生与培养开授课程科研项目学术成果
荣誉及奖励 |
何积丰 |
个人资料
教育经历工作经历个人简介社会兼职研究方向主要研究领域: 高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论 国家自然科学基金委"可信软件基础研究"重大研究计划‚首席科学家科技部"海量信息的协同性和可生存性的理论与实践研究"973项目‚首席科学家招生与培养开授课程科研项目学术成果
荣誉及奖励 |
|
|
10 访问 |
相关教师 |