陈祖希，CCF会员、IEEE会员，硕士生导师，同济大学计算机软件与理论专业博士。厦门市数据安全与区块链技术重点实验室核心成员【https://dsbt.hqu.edu.cn/sysgk/zzjg.htm】。主要研究应用于高可信轨道交通等工业领域的“信息-物理融合系统（Cyber-Physics System, CPS）”可信保障技术和多机器人路径规划（Multi-Agent Path Finding, MAPF）算法。曾于2012年至2013年，公派美国University of Colorado at Boulder，在Sriram Sankaranarayanan教授团队从事 “信息-物理融合系统”的形式化验证相关的学习和科研工作。2016年9月入职华侨大学，目前已同卡斯柯信号有限公司【https://www.casco.com.cn  中国通号集团与法国阿尔斯通合资、国内最大的城市轨道交通控制系统开发商】、上海电气泰雷兹交通自动化系统有限公司【https://www.thalessec.com.cn 上海电气集团与法国泰雷兹合资】等轨道交通控制系统龙头企业和同济大学-泰雷兹“智慧轨道交通联合工程中心”等研发机构在内的多家机构建立项目合作关系，共同研究轨道交通控制系统的危害识别、安全分析和面向安全的形式化开发、验证和确认等相关技术。

本课题组经费充足，欢迎有兴趣攻读研究生的同学积极联系交流（zuxichen@hotmail.com）。课题组为参与项目研究生提供生活补贴，研究生发表的高水平论文将根据SCI分区（3区及以上）或CCF级别（期刊或A、B类会议）发放3000至10000不等的科研奖励!

2023年课题组拟招收硕士研究生【专硕+学硕】共计4人，招生方向如下：

 （1）智慧列车自主运行控制系统高可信性建模与分析；

 （2）多机器人路径规划算法优化及应用（智慧自主列车运行控制系统）研究；

 （3）大数据处理，特别是图数据库相关的并发图算法设计；

 （4）基于物联网（嵌入式智能控制系统）的应用平台研发。

[1] 福建省四川商会，顾问；
[2] 厦门中软海晟信息技术有限公司，专业委员；
[3] 软质通（厦门）评测技术有限公司，专业委员

[1] 轨道交通控制系统可信建模与分析