陈祖希
副教授 硕士生导师
陈祖希，同济大学计算机软件与理论专业博士，副教授，硕士生导师，人工智能系副主任，IEEE高级会员，华侨大学承志学者，厦门市高层次人才，福建省高层次人才【B类】。
主要从事轨道交通领域的智能控制与可信保障技术研究，重点涉及轨道交通控制系统的人工智能算法设计、面向轨道交通的信息安全与功能安全分析技术、基于多智能体路径规划的进路优化应用，以及轨道交通可信性建模与验证技术等。2012年至2013年，曾公派赴美国科罗拉多大学博尔德分校（University of Colorado at Boulder），在Sriram Sankaranarayanan教授团队【https://home.cs.colorado.edu/~srirams/】开展“信息-物理融合系统”形式化验证相关学习与科研工作。2016年6月入职华侨大学，现已与多家轨道交通控制系统领先企业及研发机构建立项目合作，包括卡斯柯信号有限公司【https://www.casco.com.cn，中国通号集团与法国阿尔斯通合资企业、国内最大的城市轨道交通控制系统集成商】、北京和利时系统工程有限公司【https://www.hollysys.com.cn，国内最大的自动化控制系统制造商、中国高铁信号系统三大供应商之一】、上海电气集团交通自动化系统有限公司，以及同济大学-泰雷兹“智慧轨道交通联合工程中心”、中国铁道科学研究院集团有限公司通信信号研究所等。合作聚焦于轨道交通控制系统的危害识别、安全分析，以及面向安全的形式化开发、验证与确认等关键技术。
研究成果已成功应用于高速铁路和城市轨道交通的核心装备，并获得多项省部级科技奖励：
1.2023年度福建省科技进步二等奖（排名第1）
项目名称：《临海环境高速铁路列车控制系统可信保障关键技术及应用》
主要完成单位：华侨大学、同济大学、北京和利时系统工程有限公司、中科院软件研究所
2.2022年度厦门市科技进步二等奖 & 2022年度福建省科技进步三等奖（排名第1）
项目名称：《轨道交通信息物理融合系统的可信保障技术及应用》
主要完成单位：华侨大学、同济大学、卡斯柯信号有限公司
3.2024年度福建省科技进步三等奖（排名第4）
项目名称：《列控系统可信保障关键技术及其在高铁与城轨核心装备中的应用》
主要完成单位：华侨大学、同济大学、卡斯柯信号有限公司、福建理工大学
本课题组2026 年计划招收学术型（软件工程）硕士与专业型（信息安全）硕士共计 3—4 名，主要研究方向包括：高可信云平台系统的建模与分析，以及基于大语言模型的云原生系统安全分析技术。欢迎计算机、数学等相关专业同学报考，有意者可通过邮箱联系：zuxichen@hqu.edu.cn。
2011.6 -- 2012.4
[1]University of Colorado at Boulder | 信息物理系统形式化方法 | 公派访问博士生
2009.9 -- 2015.8
[2]同济大学 | 计算机软件与理论 | 博士研究生 | 工学博士学位
2016.7 -- 至今 华侨大学 | 计算机科学与技术学院
[1]基于功能安全标准的汽车智能驾控系统研发,厦门市科技局,陈祖希,2024/10/15-2025/11/01
[2]**铁路计算机联锁系统应急处置关键技术研究,中国铁道科学研究院集团有限公司,2024/07/01-2026/12/30
[3]面向安全契约的轨道交通运营场景虚拟集成测试技术研究,上海轨道交通无人驾驶列控系统工程技术研究中心,2024/04/19-2026/04/20
[4]基于功能安全标准的汽车智能驾控系统研发,横向课题,2022/06/30-2023/12/31
[5]基于有限状态演化模型的机电设备故障诊断系统研发,厦门市科技局,2022/01/01-2023/12/31
[6]基于形式化方法的高可信轨道交通控制系统验证和确认技术研究,上海电气泰雷兹交通自动化系统有限公司,2021/12/24-2023/12/24
[7]基于有限状态演化模型的机电设备故障诊断系统,厦门光熙信息科技有限公司,陈祖希,2021/11/09-2022/12/31
[8]面向轨道交通领域的可信工业控制软件核心保障技术研究,福建省科技厅,2021/08/01-2024/07/31
[9]基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究,卡斯柯信号有限公司,2021/01/01-2021/12/31
[10]TACS系统联锁需求研究,卡斯柯信号有限公司,2020/06/23-2021/06/30
[11]基于可判定形式理论的高铁列控软件安全性验证技术研究,福建省教育厅中青年教师教育科研项目,陈祖希,2018/07/31-2020/07/31
[12]基于一阶逻辑的实时轨道交通运行控制系统安全性验证技术研究,华侨大学高层次人才科研启动项目,陈祖希,2016/09/30-2019/09/30
[13]基于微分逻辑的轨道交通运营实时场景全符号化模型检测技术研究,国家自然科学基金委员会,2012/09/30-2016/09/30
[14]高速铁路信号系统安全认证和评估技术研究,国家重点研发计划,2012/06/29-2016/06/30
[15]新一代城轨交通列车运行控制系统研制,国家科技支撑计划,2011/07/30-2015/07/31
[16]高速铁路列控系统安全性验证的一阶可判定形式理论研究,国家自然科学基金项目,2010/01/01-2014/01/01
[3]基于STPA的联锁系统层级安全需求建模及确认方法.中国铁道科学【EI检索，中国铁道学会高质量期刊T1级】,2026,
[4]基于STPA的铁路联锁系统安全需求分析及验证方法.上海师范大学学报,2025,54(6):671‒684.
[5]基于卷积自编码的铁路道岔非接触故障诊断方法.第六届中国铁路发展论坛,2025,
[8]基于Event-B与ADT实例化的TACS形式化开发方法.中国铁道科学【EI检索，中国铁道学会高质量科技期刊T1级】,2023,44(6):
[9]基于变异的正则表达式反例测试串生成算法.软件学报【中国计算机学会高水平期刊中文A类】,2023,
福建省四川商会，顾问；
厦门中软海晟信息技术有限公司，专业委员；
软质通（厦门）评测技术有限公司，专业委员
