陈祖希，副教授，硕士生导师，人工智能系副主任，同济大学计算机软件与理论专业博士。作为第一完成人的项目《临海环境高速铁路列车控制系统可信保障关键技术及应用》取得2023年度福建省科技进步二等、《轨道交通信息物理融合系统的可信保障技术及应用》取得2022年度厦门市科技进步二等奖和2022年度福建省科技进步三等奖。

     主要研究应用于轨道交通领域的智能控制和可信保障技术，研究内容涉及轨道交通控制系统的人工智能控制算法设计、面向轨道交通的信息安全和功能安全分析技术、基于多智能体路径规划算法的进路优化应用和面向轨道交通的可信性建模与验证技术等。曾于2012年至2013年，公派美国University of Colorado at Boulder，在Sriram Sankaranarayanan【https://home.cs.colorado.edu/~srirams/】教授团队从事 “信息-物理融合系统”的形式化验证相关的学习和科研工作。2016年9月入职华侨大学，目前已同卡斯柯信号有限公司【https://www.casco.com.cn  中国通号集团与法国阿尔斯通合资、国内最大的城市轨道交通控制系统开发商】、上海电气泰雷兹交通自动化系统有限公司【https://www.thalessec.com.cn 上海电气集团与法国泰雷兹合资】等轨道交通控制系统龙头企业和同济大学-泰雷兹“智慧轨道交通联合工程中心”、中国铁道科学研究院集团有限公司通信信号所等研发机构在内的多家机构建立项目合作关系，共同研究轨道交通控制系统的危害识别、安全分析和面向安全的形式化开发、验证和确认等相关技术。

     课题组2025年度有全日制硕士生招生名额共计4名（目前已经确认3人，仅剩交通控制系统安全分析与验证方向一个名额），主要面向交通控制系统【含轨道交通和汽车智能驾驶】安全分析和形式化验证、基于机器学习的轨道交通故障诊断以及基于多智能体的轨道交通路径规划方向，欢迎具有良好数学基础和编程经验的考生报考【联系邮箱zuxichen@hqu.edu.cn】。

[1] 2011.6 -- 2012.4
University of Colorado at Boulder       信息物理系统形式化方法       公派访问博士生

[2] 2009.9 -- 2015.8
同济大学       计算机软件与理论       博士研究生       工学博士学位

[1] 2016.7 -- 至今
华侨大学      计算机科学与技术学院

[1] 福建省四川商会，顾问；

[2] 厦门中软海晟信息技术有限公司，专业委员；

[3] 软质通（厦门）评测技术有限公司，专业委员