研究方向有：软件可靠性和安全性、基于大数据和机器学习的智能软件开发、可信软件基础理论与方法、复杂任务智能规划与推理研究。