项目介绍
| 项目名称 | 项目类型 | 项目时间 | 项目负责人 | |
| 1 |
安全计算学重大理论问题研究
|
国家重点基础研究发展计划
(973 项目) (项目编号: No. 2007 CB 807900) |
2007年5月 至 2012年8月 | 姚期智教授 |
|
2
|
通讯及量子计算复杂性
|
国家自然科学基金项目 (项目编号: No. 60553001) |
2006年1月 至 2009年12月 | 姚期智教授 |
|
3
|
农业生物-环境信息获取无线传感器网络技术研究
|
中国高技术研究发展计划 (863 项目) (项目编号: No.2006AA10Z216) |
2006年12月 至 2010年10月 | 王跃宣教授 |
|
4
|
面向可溯源的设备网格服务链模型推理和验证研究
|
国家自然科学基金项目 (项目编号: No. 60604033) |
2007年1月 至 2009年12月 | 王跃宣教授 |
| 5 |
量子和经典决策树复杂性研究
|
国家自然科学基金项目 (项目编号: No. 60603005) |
2007年1月 至 2009年12月 | 孙晓明博士 |
| 6 | 量子网络平台20年计划
|
中国工程科技中长期发展战略研究 (项目编号: No. U0970121) |
2009年11月 至 2010年7月 | 王跃宣教授 |
Copyright 2006-2007, Institute for Theoretical Computer Science, Tsinghua University, All Rights Reserved.