Projects
| 　 | Title | Grant | Duration | Principal |
| 1 |
A Study of Some Key Problems in the Theory for Secure Computation 　 |
The National Basic Research Program of China
(973 Project) (No. 2007 CB 807900) |
May 2007 -August 2012 | Prof. Andrew C Yao |
|
2 　 |
Communication Complexity and Quantum Computation 　 |
National Natural Science
Foundation of China Grant (No. 60553001) |
January 2006 -December 2009 | Prof. Andrew C Yao |
|
3 　 |
Study on Agricultural
Bio-Environmental Information Acquisition and Wireless Sensors
Network Technologies 　 |
Hi-Tech research & Development
Program of China (863 Project) (No.2006AA10Z216) |
December 2006 -October 2010 | Prof. Yuexuan Wang |
|
4 　 |
Research on Reasoning and
Verification of Provenancable Equipment Grid Service Chain Models 　 |
National Natural Science
Foundation of China Grant (No. 60604033) |
January 2007 -December 2009 | Prof. Yuexuan Wang |
| 5 |
Study on quantum and classical decision tree complexity
　 |
National Natural Science Foundation of China Grant (No. 60603005) 　 |
January 2007 -December 2009　 | Dr. Xiaoming Sun 　 |
Copyright 2006-2008, Institute for Theoretical Computer Science, Tsinghua University, All Rights Reserved.