陈祖希

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