陈祖希，CCF会员、IEEE会员，硕士生导师，同济大学计算机软件与理论专业博士。

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

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

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

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

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

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

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