中国团队

Daniel Fredholm 丹尼尔·弗雷德霍姆

中国区技术总监

daniel.fredholm@prover.com

丹尼尔·弗雷德霍姆于2006年加入了Prover公司,现为公司的中国区技术总监,高级咨询专家。弗雷德霍姆先生一直致力于开发和应用形式化验证方法,并专注铁路领域的应用和咨询。 弗雷德霍姆先生在该领域的理论研究和工程应用方面拥有20多年的工作经验。

弗雷德霍姆先生拥有斯德哥尔摩大学数学系数理逻辑博士学位。

Fei Niu 牛非

项目经理

fei.niu@prover.com

牛非先生于2013年加入Prover公司,现为公司级项目经理,高级软件开发工程师。牛先生在铁路信号系统形式化开发和验证领域具有丰富的实践经验,并具有丰富的项目管理经验,了解市场需求,能够为客户定制解决方案。

牛先生拥有瑞典皇家理工大学计算机科学副博士学位。

Guo Zhou 周果

形式化方法专家

guo.zhou@prover.com

周果先生于2018年加入Prover公司并成为一名形式化开发工程师,形式化方法专家。周先生同时具有中国和欧洲铁路信号系统公司的工作经验,熟悉中国信号系统市场需求,主要研究领域包括形式化方法应用,基于模型的安全分析以及数据安全。

周先生拥有北京交通大学交通信息工程及控制博士学位,曾为英国约克大学访问研究员。

Gunnar Smith 古纳尔·史密斯

中国区销售总监

gunnar.smith@prover.com

古纳尔·史密斯先生于2000年加入Prover 公司,现为中国区销售总监,他曾在多个铁路控制自动化项目中管理客户和业务关系,熟悉如何将我们的技术方案与客户需求紧密结合,并提供相应的技术咨询。

史密斯先生拥有瑞典哥德堡大学计算机科学硕士学位。