- [1] 面向自适应软件的基于测试的形式化方法
- [2] 信息物理系统中复杂并发行为的形式化建模与验证，参与，国家自然科学基金面上项目, 2018-2021
- [3] 高可信深度学习：理论与技术，参与，广东省重点领域研发项目, 2019-2021
| |
Ai Liu, an associate professor at College of Computer Science and Technology of Nanjing University of Aeronautics and Astronautics, received the Ph.D in Applied Mathematics from Peking University, ...more+
| |
Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)
Click：| The Last Update Time:--| The Last Update Time:-- |MOBILE Version