让科学问题，走向可验证的软件方法

实验室依托软件工程国家工程研究中心，研究可信数据、知识增强与智能推理，并在医学和科学任务中验证方法。