姓名：张明悦 性别：男

学历：博士  职称：副教授

系别：软件工程系

邮箱：myzhangswu[AT]swu[DOT]edu[dot]cn

研究方向：多智能体系统、软件自适应、可信人工智能

学术主页：https://georgedut.github.io

【个人简介】

张明悦，理学博士，副教授，2017年本科毕业于大连理工大学，2023年博士毕业于北京大学，2023年3月入职西南大学计算机与信息科学学院 软件学院工作。近年来，关注人机物三元融合（HCPS）计算场景下的多智能体系统（MAS）；以形式化方法为基础，研究MAS协同交互的数学机理、建模技术与智能决策方法、以及在低空经济、航空航天、数据链中的应用。2023年至2025年，主持1项国家自然科学基金青年科学基金项目、1项重庆市教委项目、2项横向课题；参与3项高新项目、1项重庆市科技局项目。近三年在CCF-A/B类期刊或会议上发表论文十余篇。目前是CCF专业会员、CCF系统软件专业委员会执行委员、CCF人工智能与模式识别专委会多智能体系统学组执行委员；参与多个软件工程领域国际会议的程序/组织委员会，多家期刊的审稿人。指导学生获得了多项国家级、省部级竞赛奖励，获批校级科创项目，并推荐了多名本科生、硕士生到国内外名校继续深造。

【科研情况】

一、代表性项目

[1] 国家自然基金青年科学基金项目，基于可训练障碍函数的多智能体强化学习安全性研究(主持，2025-2027)；

[2] 重庆市教委青年项目，基于势垒函数的安全多智能体强化学习方法(主持，2023-2025)；

[3] 湖州市信能一体融合互联重点实验室，面向信能一体网络的数字孪生测试网络技术(主持，2024)；

[4] 航天科技五院502所，在轨自适应软件系统数据处理与算法验证(主持，2024-2025) ；

[5] 高新项目TDL（金额180万）（参与，2025～2027）

二、代表性论文

[1] Mingyue Zhang, Nianyu Li, Yi Chen, Jialong Li, Xiao-Yi Zhang, Hengjun Zhao, Jiamou Liu, Wu Chen: Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding. The 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025). oral presentation [CCF-A]

[2] Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei: Adaptive Preferences: Pivoting Through User Complaints. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 2025. [CCF-B]

[3] Mingyue Zhang, Nianyu Li, Jialong Li, Jiachun Liao, Jiamou Liu: Memory-Based Resilient Control Against Non-cooperation in Multi-agent Flocking. 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024).[CCF-B]

[4] Nianyu Li, Mingyue Zhang, Jialong Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin: A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 2024.(Corresponding author)[CCF-B]

[5] Jialong Li, Mingyue Zhang, Nianyu Li, Danny Weyns, Zhi Jin, Kenji Tei: Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 2024. [CCF-B]

最新论文成果请关注个人学术主页：https://georgedut.github.io

【学生培养】

2021级本科生李家兴（北京航空航天大学读博）；2021级本科生胡杰（西北工业大学读研）；2021级本科生雷艺湧（香港大学读研）；2022级本科生牟恩弘（推荐早稻田大学访学）；2022级硕士胡晨玉（东京科学大学读博）。

指导本科生陈天翼等获2024年中国大学生计算机设计大赛二等奖、本科生唐浩玮等获2025年中国大学生计算机设计大赛全国二等奖、本科生陈天翼等获全国大学生数学建模竞赛（2023）重庆市一等奖、本科生唐浩玮等获2025年中国大学生计算机设计大赛重庆市一等奖、本科生卫振方等获得二十七届中国机器人及人工智能大赛（重庆赛区）暨第五届重庆市机器人及人工智能大赛三等奖、本科生卫振方等获批2025年西南大学大学生创新创业训练校级一般项目、本科生苏佳艺等获得2025年(第18届)全国大学生软件创新大赛软件系统安全赛西南区域赛"攻防赛"三等奖等。

【备注】

研究生&本科生招生：招收硕士研究生，招优秀本科生参与实验室科研与项目，欢迎英语好||数理基础扎实||编程能力强||勤奋踏实的同学邮件联系，欢迎跨学科报考（特别是数字人文方向）。实验室管理宽松，鸢飞鱼跃，对有志于学的同学，会严格要求、尽力托举，提供各种访问、交流的机会，推荐进入国内外名校继续深造。

实验室主页：https://rise-swu.cn/index.html