陈祖希
开通时间:..
最后更新时间:..
陈祖希,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]面向安全契约的轨道交通运营场景虚拟集成测试技术研究,上海轨道交通无人驾驶列控系统工程技术研究中心,2024/04/19-2026/04/20
[4]基于形式化方法的高可信轨道交通控制系统验证和确认技术研究,上海电气泰雷兹交通自动化系统有限公司,2021/12/24-2023/12/24
[5]基于有限状态演化模型的机电设备故障诊断系统,厦门光熙信息科技有限公司,陈祖希,2021/11/09-2022/12/31
[7]基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究,卡斯柯信号有限公司,2021/01/01-2021/12/31
[9]基于可判定形式理论的高铁列控软件安全性验证技术研究,福建省教育厅中青年教师教育科研项目,陈祖希,2018/07/31-2020/07/31
[10]基于一阶逻辑的实时轨道交通运行控制系统安全性验证技术研究,华侨大学高层次人才科研启动项目,陈祖希,2016/09/30-2019/09/30
[11]基于微分逻辑的轨道交通运营实时场景全符号化模型检测技术研究,国家自然科学基金委员会,2012/09/30-2016/09/30
[14]高速铁路列控系统安全性验证的一阶可判定形式理论研究,国家自然科学基金项目,2010/01/01-2014/01/01
[1] 福建省四川商会,顾问;
[2] 厦门中软海晟信息技术有限公司,专业委员;
[3] 软质通(厦门)评测技术有限公司,专业委员