教育经历：

• 1992—1996 北京航空航天大学 电气工程 学士

• 2004—2006 卡尔顿大学 软件工程 硕士

• 2006—2010 卡尔顿大学 软件工程 博士

工作经历：

• 2010—2012 Simula研究所 副研究员

• 2012—2016 Simula研究所 研究员

• 2016—2023 Simula研究所 首席科学家

• 2023—今 北京航空航天大学 教授

研究生课程：《现代软件工程》

本科生课程：《生成式人工智能应用》

（1）量子软件工程

（2）量子优化

（3）模型驱动系统工程

（4）不确定性软件工程

代表性论文：

• M. Zhang, Y. Li, T. Yue, and K.-Y. Cai, “Quantum Optimization for Software Engineering: A Survey,” ACM TOSEM, 2026

• J. M. Murillo et al., “Quantum Software Engineering: Roadmap and Challenges Ahead,” ACM TOSEM, vol. 34, no. 5, 2025.

• M Zhang, Y Li, T Yue, "Integrating PSUM-based uncertainty modeling into SysML v2", SoSyM, 1-35, 2026

• M Zhang, T Yue, A Arcuri, "Fuzzing Microservices in Face of Intrinsic Uncertainties", T2026OSEM,

• Q Pan, T Wang, J Ma, P Arcaini, T Yue, "Simulation-based safety assessment of vehicle characteristics variations in autonomous driving systems", TOSEM, 2025