中国团队
Daniel Fredholm 丹尼尔·弗雷德霍姆
中国区技术总监
丹尼尔·弗雷德霍姆于2006年加入了Prover公司，现为公司的中国区技术总监，高级咨询专家。弗雷德霍姆先生一直致力于开发和应用形式化验证方法，并专注铁路领域的应用和咨询。 弗雷德霍姆先生在该领域的理论研究和工程应用方面拥有20多年的工作经验。
弗雷德霍姆先生拥有斯德哥尔摩大学数学系数理逻辑博士学位。
Fei Niu 牛非
中国区负责人
牛非先生于2013年加入Prover公司，现为中国区负责人。牛非先生在铁路信号系统形式化开发和形式化验证领域具有丰富的实践经验，并具有丰富的项目管理经验，了解市场需求，能够为客户定制解决方案。
牛非先生拥有瑞典皇家理工大学计算机科学副博士学位。