我们的领导团队
Prover领导团队
Prover 的领导团队在轨道控制系统的形式化规范和验证方面拥有无与伦比的专业经验，同时他们还拥有国际软件行业的广泛经验。
Anders Lindén
安德斯·林登
首席执行官
Anders Lindén于 2016 年加入 Prover。Anders在管理国际软件公司方面拥有丰富的业界经验，他主要专注于电信、互联网和大数据领域。 另外，Anders还拥有管理北美、亚洲和欧洲业务的丰富经验。
Anders Lindén先生拥有林雪平大学工业管理与工程理学硕士学位。
Arne Borälv
阿内·博拉尔夫
Olav Bandmann
奥拉夫·班德曼
首席技术官
Olav Bandmann先生于 2006 年加入 Prover ，现任公司首席技术官，负责公司核心技术。
Olav Bandmann拥有斯德哥尔摩大学数学博士学位。
Jesper Carlström
杰斯帕·卡尔斯特伦
工程副总裁
Jesper Carlström于 2008 年加入 Prover，负责管理公司的工程部分。他现在负责我们的产品开发和客户服务。
Jesper Carlström先生拥有斯德哥尔摩大学数学博士学位。
Anders Lindén
首席执行官
Anders Lindén于 2016 年加入 Prover。Anders在管理国际软件公司方面拥有丰富的业界经验，他主要专注于电信、互联网和大数据领域。 另外，Anders还拥有管理北美、亚洲和欧洲业务的丰富经验。
Arne Borälv
首席战略官，执行副总裁
Arne Borälv阿内·博拉尔夫于 1995 年加入 Prover 公司，历任公司首席技术官、Prover 法国和美国分公司总裁，公司首席执行官（2010-2016 年）。Arne Borälv先生在形式化验证的工业应用方面拥有超过20年的丰富工作经验，尤其熟知汽车、航空电子、铁路和半导体 (EDA)领域。
Olav Bandmann
首席技术官
Olav Bandmann先生于 2006 年加入 Prover ，现任公司首席技术官，负责公司核心技术。Olav Bandmann拥有斯德哥尔摩大学数学博士学位。
Jesper Carlström
工程副总裁
Jesper Carlström于 2008 年加入 Prover，负责管理公司的工程部分。他现在负责我们的产品开发和客户服务。Jesper Carlström先生拥有斯德哥尔摩大学数学博士学位。