Grants

Research grants and funded projects.

  1. 2026.1–2030.12, “Research on Design Techniques for Safety-Critical Systems in the Context of Mobile Computing”, a key international collaboration project funded by the Natural Science Foundation of China (with ISCAS, Inria, CNRS-IRIT, LORIA)
  2. 2024.1–2026.12, “President’s International Fellowship Initiative”, CAS project for international collaboration
  3. 2022.8–2027.7, “Trustworthy AI Algorithms under Open Environment”, CAS Project for Young Scientists in Basic Research
  4. 2022.12–2027.11, “Mathematical Foundations for Verification of Safety-Critical Software”, funded by the National Key R&D Program of China
  5. 2022.1–2026.12, “Knowledge Modeling and Construction for Embedded System IPs”, a grant project funded by the Natural Science Foundation of China
  6. 2018.1–2022.12, “Theories and Tools of Automated Theorem Proving for Program Verification”, a key project funded by the Natural Science Foundation of China
  7. 2017.1–2021.12, “Formal Design of Complex Safety-Critical Embedded Systems”, Outstanding Youth Fund of the Natural Science Foundation of China
  8. 2015.1–2016.12, “Consistency Checking between Different Phases in the Design of Embedded Systems”, a key project in the context of the “Trustworthy Software Plan”, initiated and funded by the Natural Science Foundation of China
  9. 2014.1–2018.12, “Theories and Tools for Dependable Safety-Critical Systems”, a CAS/SAFEA “International Creative Team” project
  10. 2014.1–2018.12, “Construction and QoS of Safety-Critical Systems”, a “973” project funded by the Ministry of Science and Technology
  11. 2012.12–2015, “Theories, Tools and Development Environment for Spacecraft Embedded Systems”, a grand project in the context of the “Trustworthy Software Plan”, initiated and funded by the Natural Science Foundation of China
  12. 2009.9–2014.8, “Outstanding Youth Fund of the Institute of Software, Chinese Academy of Sciences”
  13. 2009.1–2012.12, “Refinement, Coordination and Glue of Software Components”, funded by the Natural Science Foundation of China
  14. 2008.12–2011, “Component-based Methods for Embedded Systems”, a key project of the Natural Science Foundation of China
  15. 2008.1–2010.12, “Verification and Analysis of Embedded Software Based on Computer Algebra”, a key project in the context of the “Trustworthy Software Plan”, initiated and funded by the Natural Science Foundation of China
  16. 2005.10–2008.9, “Applying Symbolic Computation Approach to Formal Methods”, funded by the Natural Science Foundation of China
  17. 2004.11–2007.10, “Innovative Group on Formal Methods”, coordinated by Prof. Huimin Lin, funded by the Natural Science Foundation of China
  18. 2008.1–2011.12, “Component-based Design, Verification, Analysis and Tools for Dependable Embedded Systems”, a key project of the Natural Science Foundation of China