Profile

     陈祖希，同济大学计算机软件与理论专业博士，副教授，硕士生导师，人工智能系副主任，IEEE高级会员，华侨大学特聘承志学者，福建省高层次人才【B类】。

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

     研究成果已成功应用于高速铁路和城市轨道交通的核心装备，并获得多项省部级科技奖励：

      1. 2023年度福建省科技进步二等奖（排名第1）
          项目名称：《临海环境高速铁路列车控制系统可信保障关键技术及应用》
          主要完成单位：华侨大学、同济大学、北京和利时系统工程有限公司、中科院软件研究所

      2. 2022年度厦门市科技进步二等奖 & 2022年度福建省科技进步三等奖（排名第1）
          项目名称：《轨道交通信息物理融合系统的可信保障技术及应用》
          主要完成单位：华侨大学、同济大学、卡斯柯信号有限公司

      3. 2024年度福建省科技进步三等奖（排名第4）
          项目名称：《列控系统可信保障关键技术及其在高铁与城轨核心装备中的应用》
          主要完成单位：华侨大学、同济大学、卡斯柯信号有限公司、福建理工大学