The Ministry of Science and Technology of the People's Republic of China
The Ministry of Education of the People's Republic of China
National Basic Research Program of China
Tsinghua University
Institute for Theoretical Computer Science, Tsinghua University