Current Location: Home » Research » Key Labs » Content

Research

Key Labs

The Innovation Base for High Confidence Software Technology is supported by the Program of Introducing Talents of Discipline to Universities (i.e., the 111 Program). The 111 Program is jointly sponsored by the State Bureau of Foreign Experts and the Ministry of Education. The aim of the Program is to promote high-level intellectual exchange between renowned oversea scholars and Chinese universities. Here are 14 oversea scholars and 10 domestic scholars involved in the regular research in the Innovation Base.

Research at the Innovation Base is directed towards theories, methods and techniques for data-driven software trustworthiness. Major research areas include:

(1) Data-driven development methodology of trustworthy software

(2) Data-driven runtime software trustworthiness insurance

(3) Software theories compatible with data-driven software methodology