个人简介： 副教授，博士，2025年4月加入北京航空航天大学软件学院担任副教授。2023年3月至2025年3月于清华大学开展博士后研究工作并入选“博新计划”和“水木学者”，2023年1月于清华大学获博士学位，2018年6月于东北大学获学士学位。
主要研究方向：
模型驱动的软件开发、软件系统安全保障，包括基于AI的模型构建、代码生成优化、模型高速仿真、高覆盖的自动测试等。针对模型驱动的软件开发提出统一的建模开发框架，支持对不同工具构建的模型进行高性能的仿真、测试、验证及代码生成。相关论文发表在DAC、ASE、EMSOFT、TSE、TCAD等顶级会议和期刊上。主持国家自然科学基金面上项目等。
更多介绍参见个人主页：https://suzcpp.github.io
