1. 智能需求工程
针对复杂关键软件需求定义不清晰、确认与验证不充分导致重大灾难问题，研究需求精准定义与高效确认方法，突破需求原型化技术瓶颈，实现需求可精准表示、高效确认、有效验证的新型需求工程体系。
2. 智能软件工程
针对复杂关键软件开发周期长、质量保证困难等痛点问题，研究基于模型驱动(Model-driven)与数据驱动(Data-driven)融合的智能化软件开发方法，突破软件开发全生命周期自动化瓶颈，实现全流程统一表示、智能复用与柔性装配及全场景智能协同的软件工厂生产新模式。
3. 智能系统工程
针对系统工程门槛高、模型构建效率低、落地困难等痛点问题，研究基于认知推理的智能系统工程方法，探究认知层级与模型连续抽象的本质规律，突破多范式模型连续传递与生成、自主验证技术瓶颈，实现“建模即编程“与“单一真相源”的数字工程新范式。
个人主页：http://shi.buaa.edu.cn/yangyilong (中文) http://yilong.io (英文)
邮箱地址：yilongyang@buaa.edu.cn
实验室网站：http://rm2pt.com
