1.  2014.08 – 2018.07: Foundations of quantum cryptography for distribution of secret keys. Australian Research Council (ARC Future Fellowship). Min-Hsiu Hsieh, Sole Investigator. Total Amount: AUD 678,504.

1.  2013.1-2015.12: Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems. Chief Investigators: Y. Feng and M. Ying. Partner Investigator: P. Panangaden and L. Zhang. Australian Research Council (ARC Discovery Projects). Total Amount: AUD 330,000.

1.  2012.1-2014.12: Quantum effects in zero-error communication. Chief Investigators: Runyao Duan. Partner Investigator: Andreas Winter. Australian Research Council(ARC Discovery Projects). Total Amount: AUD 260,000.

2.  2012.1-2014.12: Artificial intelligence meets wireless sensor networks: filling the gaps between sensors using spatial reasoning. Australian Research Council(ARC Discovery Projects). Chief Investigators: Jochen Renz, Matt R. Duckham, Sanjiang Li. Total Amount: AUD 320,000.

3.  2012.1-2014.12: Approximate reasoning with qualitative spatial constraints involving landmarks. Australian Research Council(ARC Discovery Projects). Chief Investigators: Sanjiang Li, Jochen Renz. Partner Investigator: Anthony G. Cohn. Total Amount: AUD 150,000.

4.  2012.05 - 2016.04: Supra-classical quantum simulation in physically restricted models of quantum computation. Australian Research Council (ARC Future Fellowship). Michael Bremner, Sole Investigator. Total Amount: AUD 583,416.

5.  2012.07 - 2016.06: Quantum privacy: a mathematical foundation and novel solutions for highly secure communications. Australian Research Council (ARC Future Fellowship). Runyao Duan, Sole Investigator. Total Amount: AUD 677,842.

1.  2011.1-2013.12: Process algebra approach to distributed quantum computation and secure quantum communication. Chief Investigators: Mingsheng Ying and Yuan Feng. Partner Investigator: R. Nagarajan. Australian Research Council(ARC Discovery Projects). Total Amount: AUD 300,000.

1.  2010.1 - 2011.12: UTS Early Career Researcher Grant Scheme, Internal Funding. Faithful transmission of quantum Information with noisy channels. Runyao Duan, Sole Investigator. Project Advisor: Prof. Mingsheng Ying, UTS. Total Amount: AUD 24,848.

2.  2010.11 - 2014.10: Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach. Australian Research Council (ARC Future Fellowship). Yuan Feng, Sole Investigator. Total Amount: AUD 561,192.

1.  2009.7 - 2013.6 : Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning, ARC Future Fellowship, ARC FT0990811. Sanjiang Li, Sole Investigator. Total Amount: AUD 686,400.

1.  2008.1 - 2011.12: Quantum software: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60621062. Mingsheng Ying: Chief-Investigator; Runyao Duan and Yuan Feng: Co-Investigators. Total Amount: CNY 2,000,000.

2.  2008. 1-2010. 12: Quantum state discrimination and the calculation of channel capacity. National Natural Science Foundation of China (NSFC), Grant No. 60702080. Runyao Duan, Principal Investigator. Total Amount: CNY 230,000.

1.  2007. 3-2009. 3: Theory of quantum communication and concurrency. Tsinghua University, Internal Funding. Yuan Feng, Principal Investigator. Total Amount: CNY 30,000.

2.  2007. 10- 2011.9: Multi-Modal Interaction and Knowledge Inference for Unstructured Information. Ministry of Science & Technology of China, National Program on Key Basic Research Projects (973 Program), Grant No.2007CB311000. Sanjiang Li, Co-Investigator. (Chief-Investigator is Prof. Zongben Xu, Xi’an Jiaotong University). Amount: CNY 300,000.

3.  2007.1 - 2011.12: Theory of quantum programming. Ministry of Education of China, FANEDD 200755. Yuan Feng, Principal Investigator. Total Amount: CNY 500,000.

4.  2007.1 - 2009.12: Representation and Reasoning with Spatial Knowledge based on Qualitative Calculi. National Natural Science Foundation of China (NSFC), Grant No.60673105. Sanjiang Li, Sole Investigator. Total Amount: CNY 240,000.

1.  2006.12 - 2008.12: Quantum computational models. Hi-Tech Research & Development Program of China (863 Project), Grant No. 2006AA01Z102. Runyao Duan: Principal Investigators; Yuan Feng and Mingsheng Ying: Co-Principal Investigators. Total Amount: CNY 600,000.

2.  2006.7 - 2009.6: Microsoft Research Asia Young Professorship, MSRA, Grant No.63000249. Sanjiang Li, Sole Investigator. Total Amount: CNY 500,000.

3.  2006.1 - 2008.12: Quantum communication network assisted by entanglement, National Natural Science Foundation of China (NSFC), Grant No.60503001. Yuan Feng, Principal Investigator. Total Amount: CNY 220,000.

4.  2006.1 - 2007.12: Research on quantum programming languages. Tsinghua University, Grant No. 052220204. Yuan Feng, Principal Investigator. Mingsheng Ying: Co-Investigator. Total Amount: CNY 150,000.

1.  2005.1 - 2008.12: Encoding and process control in quantum algorithms. National Natural Science Foundation of China (NSFC), Grant No. 60433050. Yuan Feng, Co-Investigator. Total Amount: CNY 2,000,000.

1.  2004.12 - 2006.6: Ph.D. Student Creative Foundation of Tsinghua University (for PhD student). Quantum catalysis and its applications. Runyao Duan, Sole Investigator. Project Advisor: Prof. Mingsheng Ying. Total Amount: CNY 40,000.

2.  2004.11 - 2008.10: Basic Theory and Core Techniques of Non-Standard Knowledge. National Natural Science Foundation of China (NSFC Major Program), 60496321. Sanjiang Li, Co-Investigator. (Chief-Investigator is Prof. Ruqian Lu of the Chinese Academy of Sciences). Amount: CNY 610,000.

3.  2004.1 - 2009.12: Intelligent information processing: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60321002. Mingsheng Ying, Chef-Investigator; Yuan Feng and Sanjiang Li: Co-Investigators. Total Amount: CNY 8,100,000.

4.  2004.1 - 2006.12: Topological Representation and Reasoning of Spatial Knowledge. National Natural Science Foundation of China (NSFC), Grant No.60305005. Sanjiang Li, Sole Investigator. Total Amount: CNY 230,000.

1.  2014.08 – 2018.07: Foundations of quantum cryptography for distribution of secret keys. Australian Research Council (ARC Future Fellowship). Min-Hsiu Hsieh, Sole Investigator. Total Amount: AUD 678,504.

2.  2013.1-2015.12: Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems. Chief Investigators: Y. Feng and M. Ying. Partner Investigator: P. Panangaden and L. Zhang. Australian Research Council (ARC Discovery Projects). Total Amount: AUD 330,000.

3.  2012.1-2014.12: Quantum effects in zero-error communication. Chief Investigators: Runyao Duan. Partner Investigator: Andreas Winter. Australian Research Council(ARC Discovery Projects). Total Amount: AUD 260,000.

4.  2012.1-2014.12: Artificial intelligence meets wireless sensor networks: filling the gaps between sensors using spatial reasoning. Australian Research Council(ARC Discovery Projects). Chief Investigators: Jochen Renz, Matt R. Duckham, Sanjiang Li. Total Amount: AUD 320,000.

5.  2012.1-2014.12: Approximate reasoning with qualitative spatial constraints involving landmarks. Australian Research Council(ARC Discovery Projects). Chief Investigators: Sanjiang Li, Jochen Renz. Partner Investigator: Anthony G. Cohn. Total Amount: AUD 150,000.

6.  2012.05 - 2016.04: Supra-classical quantum simulation in physically restricted models of quantum computation. Australian Research Council (ARC Future Fellowship). Michael Bremner, Sole Investigator. Total Amount: AUD 583,416.

7.  2012.07 - 2016.06: Quantum privacy: a mathematical foundation and novel solutions for highly secure communications. Australian Research Council (ARC Future Fellowship). Runyao Duan, Sole Investigator. Total Amount: AUD 677,842.

8.  2011.1-2013.12: Process algebra approach to distributed quantum computation and secure quantum communication. Chief Investigators: Mingsheng Ying and Yuan Feng. Partner Investigator: R. Nagarajan. Australian Research Council(ARC Discovery Projects). Total Amount: AUD 300,000.

9.  2010.11 - 2014.10: Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach. Australian Research Council (ARC Future Fellowship). Yuan Feng, Sole Investigator. Total Amount: AUD 561,192.

10.  2010.1 - 2011.12: UTS Early Career Researcher Grant Scheme, Internal Funding. Faithful transmission of quantum Information with noisy channels. Runyao Duan, Sole Investigator. Project Advisor: Prof. Mingsheng Ying, UTS. Total Amount: AUD 24,848.

11.  2009.7 - 2013.6 : Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning, ARC Future Fellowship, ARC FT0990811. Sanjiang Li, Sole Investigator. Total Amount: AUD 686,400.

12.  2008.1 - 2011.12: Quantum software: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60621062. Mingsheng Ying: Chief-Investigator; Runyao Duan and Yuan Feng: Co-Investigators. Total Amount: CNY 2,000,000.

13.  2008. 1-2010. 12: Quantum state discrimination and the calculation of channel capacity. National Natural Science Foundation of China (NSFC), Grant No. 60702080. Runyao Duan, Principal Investigator. Total Amount: CNY 230,000.

14.  2007.1 - 2009.12: Representation and Reasoning with Spatial Knowledge based on Qualitative Calculi. National Natural Science Foundation of China (NSFC), Grant No.60673105. Sanjiang Li, Sole Investigator. Total Amount: CNY 240,000.

15.  2007. 3-2009. 3: Theory of quantum communication and concurrency. Tsinghua University, Internal Funding. Yuan Feng, Principal Investigator. Total Amount: CNY 30,000.

16.  2007. 10- 2011.9: Multi-Modal Interaction and Knowledge Inference for Unstructured Information. Ministry of Science & Technology of China, National Program on Key Basic Research Projects (973 Program), Grant No.2007CB311000. Sanjiang Li, Co-Investigator. (Chief-Investigator is Prof. Zongben Xu, Xi’an Jiaotong University). Amount: CNY 300,000.

17.  2007.1 - 2011.12: Theory of quantum programming. Ministry of Education of China, FANEDD 200755. Yuan Feng, Principal Investigator. Total Amount: CNY 500,000.

18.  2006.1 - 2008.12: Quantum communication network assisted by entanglement, National Natural Science Foundation of China (NSFC), Grant No.60503001. Yuan Feng, Principal Investigator. Total Amount: CNY 220,000.

19.  2006.12 - 2008.12: Quantum computational models. Hi-Tech Research & Development Program of China (863 Project), Grant No. 2006AA01Z102. Runyao Duan: Principal Investigators; Yuan Feng and Mingsheng Ying: Co-Principal Investigators. Total Amount: CNY 600,000.

20.  2006.7 - 2009.6: Microsoft Research Asia Young Professorship, MSRA, Grant No.63000249. Sanjiang Li, Sole Investigator. Total Amount: CNY 500,000.

21.  2006.1 - 2007.12: Research on quantum programming languages. Tsinghua University, Grant No. 052220204. Yuan Feng, Principal Investigator. Mingsheng Ying: Co-Investigator. Total Amount: CNY 150,000.

22.  2005.1 - 2008.12: Encoding and process control in quantum algorithms. National Natural Science Foundation of China (NSFC), Grant No. 60433050. Yuan Feng, Co-Investigator. Total Amount: CNY 2,000,000.

23.  2004.1 - 2006.12: Topological Representation and Reasoning of Spatial Knowledge. National Natural Science Foundation of China (NSFC), Grant No.60305005. Sanjiang Li, Sole Investigator. Total Amount: CNY 230,000.

24.  2004.1 - 2009.12: Intelligent information processing: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60321002. Mingsheng Ying, Chef-Investigator; Yuan Feng and Sanjiang Li: Co-Investigators. Total Amount: CNY 8,100,000.

25.  2004.11 - 2008.10: Basic Theory and Core Techniques of Non-Standard Knowledge. National Natural Science Foundation of China (NSFC Major Program), 60496321. Sanjiang Li, Co-Investigator. (Chief-Investigator is Prof. Ruqian Lu of the Chinese Academy of Sciences). Amount: CNY 610,000.

26.  2004.12 - 2006.6: Ph.D. Student Creative Foundation of Tsinghua University (for PhD student). Quantum catalysis and its applications. Runyao Duan, Sole Investigator. Project Advisor: Prof. Mingsheng Ying. Total Amount: CNY 40,000.