Personal Information:
Associate professor graduate teacher
Academic Titles:计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
Research Projects
- 时空逻辑知识驱动的智能决策关键技术研究, 在研
- Efficient Artificial Intelligence Planning Guided by Spatio-Temporal Knowledge, Special Grade of China Postdoctoral Science Foundation, 2019/07/01-2021/06/30, under study
- Research on Verification of Pointer Programs based on Spatio-Temporal Reasoning, China Postdoctoral Science Foundation, 2018/11/20-2020/12/31, under study
- Innovation Group of Safety Critical and Intelligent Software, Science and Technology Innovation Group of Shannxi Province, 2018/11/01-2021/12/31, under study
- Spatio-Temporal Reasoning with Improved Spatio-Temporal Logic PPTL^SL, National Natural Science Foundation, 2018/08/16-2021/12/31, under study
- Research on Program Synthesis by Automated Planning, General longitudinal, 2018/03/09-2020/12/31, under study
- Domain Knowledge Constraint based Complex Task Planning and Reasoning, National Natural Science Foundation, 2018/01/01-2020/12/31, under study
- Multi-Typed Temporal Logic Programming Design, National Natural Science Foundation, 2014/08/16-2017/12/31, study complete
- Model Checking Shared Variable Based Multi-core Concurrent Programs, National Natural Science Foundation, 2011/08/19-2016/12/31, study complete
| |