1.  2020.1-2021.12, Research on the Development Strategy of Industrial Internet (2021-2035) (L1924048), sponsored by the Joint Program for Discipline Development Strategy of National Natural Science Foundation and Chinese Academy of Sciences. Principal Investigator

2.  2018.1-2019.12, Research on the Development Strategy of Software Discipline (L1724017), sponsored by the Joint Program for Discipline Development Strategy of National Natural Science Foundation and Chinese Academy of Sciences. Principal Investigator

3.  2017.1-2021.12, Research on the Software Development Methodology based on Internet–based Collective Intelligence (61690200), sponsored by the Major Research Program Fund from National Natural Science Foundation. Principal Investigator (also PI for sub-project Research on the Foundational Theory and Technologies of Collective Intelligence Software Development (61690205))

4.  2015.1-2017.12, Research on the Foundational Theory, Method, and Technologies of Trusted Software (61421091), sponsored by the National Science Fund for Creative Research Groups from National Natural Science Foundation. Principal Investigator

5.  2015.1-2016.12, Research on the National Strategy for Developing Open Source Appropriate Technology in IT Industry, sponsored by the Academic Divisions of the Chinese Academy of Sciences. Principal Investigator

6.  2014.01-2015.12, Research on Bug Tracking Oriented Software Development Technologies (20131000111), sponsored by the Distinguished Dissertation Program of Beijing Municipal Commission of Education. Principal Investigator

7.  2012.9-2015.8, Research on Key Technologies for Internetware Operating System (313004), sponsored by Key Sci-Tech Project of MOE. Principal Investigator

8.  2012.01-2015.12, Research on Architecture-driven Construction of Trusted Software (91118004), sponsored by the key project in Major Research Program Fund from National Natural Science Foundation. Principal Investigator

9.  2012.1- 2014.12, Research on the Foundational Theory, Method, and Technologies of Trusted Software (61121063), sponsored by the National Science Fund for Creative Research Groups from National Natural Science Foundation. Principal Investigator

10.  2011 - 2013, Research on IoT (The Internet of Things) and Internetware, cooperated with IBM. Chief Scientist

11.  2010.1-2012.12, Research on Privacy-Preserving Data Networks Publishing (60931160444), sponsored by the National Science Fund for Cooperation with Hong Kong. Principal Investigator

12.  2009.1-2013.12, Research on Networked Complex Software: Quality and Confidence Assurance, Development Method, and Runtime Mechanism (2009CB320700), sponsored by the National Basic Research Program of China (973). Chief Scientist

13.  2009.1-2011.12, Research on the Foundational Theory, Method, and Technologies of Trusted Software (60821003), sponsored by the National Science Fund for Creative Research Groups from National Natural Science Foundation. Principal Investigator

14.  2008.09-2008.12, 2008 World Internet Conference (60810306039), sponsored by the International Collaboration and Exchange Program from National Natural Science Foundation. Principal Investigator

15.  2007 - 2010, Research on Solution Engineering, cooperated with IBM. Chief Scientist

16.  2006.12-2008.12, Research on Integration Technology for Common Services in Modern Service Industry (2006BAH02A02), sponsored by the National Key Technology R&D Program of China. Principal Investigator

17.  2006.1-2008.12, Research on Open Software Model for Network Computing Environment (90612011), sponsored by National Natural Science Foundation of China. Principal Investigator

18.  2006.1- 2008.12, Research on Refinement Transformation in ABC (60528006), sponsored by National Science Fund for Distinguished Young Scholars of China for Oversea Young Scholars. Co-Principal Investigator (PI: Prof. Hu Zhenjiang, Tokyo University)

19.  2003.6-2005.5, Research and Building of Model of 2008 Olympic Game's Information System (2003BA904B02), sponsored by the National Sci&Tech "GongGuan" Program. Principal Investigator

20.  2002.12-2008.8, Research on Theory and Methodology of Agent-based Middleware on Internet Platform (2002CB312000), sponsored by the National Key Basic Research and Development Program (973). Chief Scientist

21.  2003.1-2006.12, Research on Feature Interaction Problem and Interoperability of Software (60233010), sponsored by the Key Project of National Natural Science Foundation of China. Principal Investigator

22.  2002.1-2003.12, Research on Domain-Oriented Application Middleware (Key-0214), sponsored by Key Sci-Tech Project of MOE. Principal Investigator

23.  2002.1-2005.12, Research on the Theory and Technology of Component Composition (60125206), sponsored by National Science Fund for Distinguished Young Scholars of China. Principal Investigator

24.  2002.1-2004.12, Research on Component-Oriented Domain Engineering Technology (20010001001), sponsored by the Research Fund for the Doctoral Program of Higher Education of MOE. Principal Investigator

25.  2001.1-2002.12, Theory and Technology for Component Composition, sponsored by Excellent Researcher Support Program of MOE. Principal Investigator

26.  2001.1-2002.12, Research on Architecture-based Component Composition, sponsored by Scientific Foundation for Returned Overseas Chinese Scholars of MOE. Principal Investigator

27.  2000.9-2002.12, Research on Architecture-oriented Software Construction Technology (60043002), sponsored by National Natural Science Foundation of China. Principal Investigator

28.  2000.9-2002.12, Feature Interaction and Component Composition, sponsored by Bell Labs Research China. Principal Investigator

29.  1998.12-2000.11, Research on Software Component Composition Technology (863-306-ZT02-02-2), sponsored by State 863 High-Tech Program. Principal Investigator

30.  1998.12-2000.12, Research on the Theory and Method for Automated Software Development Process (98005), sponsored by a Key Project of Ministry of Education. Technical Manager

31.  1998.6-2001.6, Application of Jade Bird Software Production Line System in Yunnan Province, sponsored by the joint research project of Yunnan Province and PKU. Technical Manager

32.  1998.2-2000.11, Technology for Industrialization Production of Software and its Supporting Environment (the 2nd phase) (98-780), a Key Project in the 9th State Five-Year-Plan. Member of Technical Committee and Sub-Principal Investigator

33.  1996.8-1998.6, Research on Component-based Software Development Technology (863-306-02-05-01), sponsored by State 863 High-Tech Program. Principal Investigator

34.  1996.1-1998.12, Object-Oriented Software Development Method based on Active Object Model and its Supporting System (69573002), sponsored by National Natural Science Foundation of China. Technical Manager

35.  1996.1-1998.9, Research on Declarative Formal Semantics Model of Objects (9500138), sponsored by the Research Fund for the Doctoral Program of Higher Education of State Education Commission. Principal Investigator

36.  1995.11-1997.11, Technology for Industrialization Production of Software and its Supporting Environment (the 1st phase) (96-729), a Key Project in the 9th State Five-Year-Plan. Member of Technical Committee and Sub-Principal Investigator

37.  1994.8-1996.4, Research on Software Development Method based on Reuse (863-306-02-01-01), sponsored by State 863 High-Tech Program. Principal Investigator

38.  1993.6-1995.3, Research on Object-Oriented Software Process Model, sponsored by Chinese Post-Doctoral Science Foundation. Principal Investigator

39.  1992.12-1994.6, Research on Integrated Object-Oriented Language BDOL (863-306-02-03-3), sponsored by State 863 High-Tech Program. Principal Investigator

40.  1992.12-1995.5, Object-Oriented Integrated Software Engineering Environment---Jade Bird System II (85-712-1), a Key Project in the 8th State Five-Year-Plan. Member of Technical Committee and Sub-Principal Investigator

41.  1989.9-1992.9, Doctorate Degree Dissertation: The Design and Implementation of Functional Object-Oriented Programming Language FOPL, sponsored by National Natural Science Foundation and State 863 High-Tech Program. Group Leader

42.  1985.9-1987.5, Master Degree Thesis: The Design and Implementation of Interactive Computer-aided Nesting System, sponsored by Shanghai Industry Bureau. System Implementor

43.  1984.3-1984.7, Undergraduate Thesis: PC-based Control System for Machine Tool, sponsored by Shanghai Machine Tool Factory. System Implementor