n 个人简介：陈祖希，CCF会员、IEEE会员，硕士生导师，同济大学计算机软件与理论专业博士。主要研究应用于轨道交通领域的智能控制和可信保障技术，研究内容涉及轨道交通控制系统的人工智能控制算法设计、基于运营大数据的图并发算法调度优化应用、基于多智能体路径规划算法的进路优化应用和可信性建模与分析等。曾于2012年至2013年，公派美国University of Colorado at Boulder，在Sriram Sankaranarayanan教授团队从事 “信息-物理融合系统”的形式化验证相关的学习和科研工作。2016年9月入职华侨大学，目前已同卡斯柯信号有限公司【https://www.casco.com.cn 中国通号集团与法国阿尔斯通合资、国内最大的城市轨道交通控制系统开发商】、上海电气泰雷兹交通自动化系统有限公司【https://www.thalessec.com.cn 上海电气集团与法国泰雷兹合资】等轨道交通控制系统龙头企业和同济大学-泰雷兹“智慧轨道交通联合工程中心”等研发机构在内的多家机构建立项目合作关系，共同研究轨道交通控制系统的危害识别、安全分析和面向安全的形式化开发、验证和确认等相关技术。
n 研究领域：
n 科研项目：
[1]基于功能安全标准的汽车智能驾控系统研发,2022/06/30-2023/12/31
[2]基于有限状态演化模型的机电设备故障诊断系统研发,厦门市科技局,2022/01/01-2023/12/31
[3]基于形式化方法的高可信轨道交通控制系统验证和确认技术研究,上海电气泰雷兹交通自动化系统有限公司,2021/12/24-2023/12/24
[4]基于有限状态演化模型的机电设备故障诊断系统,厦门光熙信息科技有限公司,陈祖希,2021/11/09-2022/12/31
[5]面向轨道交通领域的可信工业控制软件核心保障技术研究,福建省科技厅,2021/08/01-2024/07/31
[6]基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究,卡斯柯信号有限公司,2021/01/01-2021/12/31
[7]TACS系统联锁需求研究,卡斯柯信号有限公司,2020/06/23-2021/06/30
[8]基于可判定形式理论的高铁列控软件安全性验证技术研究,福建省教育厅中青年教师教育科研项目,陈祖希,2018/07/31-2020/07/31
[9]基于一阶逻辑的实时轨道交通运行控制系统安全性验证技术研究,华侨大学高层次人才科研启动项目,陈祖希,2016/09/30-2019/09/30
[10]基于微分逻辑的轨道交通运营实时场景全符号化模型检测技术研究,国家自然科学基金委员会,2012/09/30-2016/09/30
[11]高速铁路信号系统安全认证和评估技术研究,国家重点研发计划,2012/06/29-2016/06/30
[12]新一代城轨交通列车运行控制系统研制,国家科技支撑计划,2011/07/30-2015/07/31
[13]高速铁路列控系统安全性验证的一阶可判定形式理论研究,国家自然科学基金项目,2010/01/01-2014/01/01
n 获奖信息：
2022年厦门市科技进步二等奖“轨道交通信息物理融合系统的可信保障技术及应用”,2023
n 论文成果：
[1]基于变异的正则表达式反例测试串生成算法.软件学报,2023,
[2]基于Event-B与ADT实例化的TACS形式化开发方法.中国铁道科学【中国铁道学会高质量科技期刊T1级】,2023,