研究方向：
理论研究：
关键词包括需求工程，知识工程，形式化方法，信息物理融合系统，安全攸关系统，AI，具体来说，包括：
（1）基于环境建模的需求工程方法：一种面向信息物理系统（CPS）的基于环境知识的方法，系统的工作详见网站http://re4cps.org
（2）将形式化方法应用于需求工程领域，构建时间需求，并将其应用到轨道交通等安全攸关领域，
（3）基于UML的需求工程方法，
（4）基于仿真、测试、形式化验证的需求（系统）确认和验证技术，
（5）基于人类行为分析的信息物理社会系统（HCPS/CPSS）的研究，
（6）基于AI的动画自动生成技术研究。