陈祖希，同济大学计算机软件与理论专业博士，副教授，硕士生导师，人工智能系副主任，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）
          项目名称：《列控系统可信保障关键技术及其在高铁与城轨核心装备中的应用》
          主要完成单位：华侨大学、同济大学、卡斯柯信号有限公司、福建理工大学

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

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

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

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

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

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