Gunnar Stålmarck

CEO
Prover Technology AB总裁

+46 (0)8 617 68 00

Gunnar Stålmarck是创建于1989年的Prover公司的总裁兼首席执行官。Stålmarck先生在基于验证的认证引擎方面享有国际专利，曾发表了大量研究论文并获奖。

Prover公司创建以前，他曾多年担任爱立信公司的形式方法应用顾问和研究员。Stålmarck先生是斯德哥尔摩大学伦理哲学系硕士。后来，他放弃了查尔摩斯（Chalmers）计算机科学系的兼职教学工作，而全身心地投入Prover的工作。

Arne Boralv

首席技术官

+46 (0)8 617 68 05

Arne Boralv是Prover Technology的首席技术官，同时他还担任Prover美国子公司Prover科技有限公司的总裁。 Boralv先生1995年加盟Boralv科技。他担任数个研发和商务开发高管职位并负责公司与因特尔等公司的长期技术合作项目。

Boralv先生是瑞典乌普萨拉大学计算机科学硕士，2001年被任命为公司的首席技术官。

Marcus Tallhamn

首席营销官
Prover Technology公司总裁

+1 650 722 2750

Marcus Tallhamn1998年加盟Prover Technology，并在2007年被任命为Prover科技有限公司的首席营销官和总裁。在此之前，他曾担任Prover Technology美国、法国和瑞典办事处的研发、营销和业务开发负责人。

在来到Prover工作之前，Tallhamn先生曾担任Celsius Technologies和查尔摩斯的研发负责人，负责防御软件开发和机器人技术AI/GP研究工作。Tallhamn先生参加过瑞典查尔摩斯的MS工程物理学项目。

Thierry Lartaud

销售副总裁
Prover Technology SAS总裁

+33 685 33 40 74

Thierry Lartaud2001年加入Prover Technology，并于2004年被任命为公司欧洲销售副总裁。Lartaud先生还兼任位于图卢兹的Prover TechnologySAS的执行总裁。

加盟Prover Technology以前，Lartaud先生是巴黎CNAM的电子工程硕士，并曾于1990到2001年间担任ON Semiconductor、摩托罗拉和Future Electronics销售和工程管理人员。

Svetozar Serafimovski

业务开发副总裁

+46 (0)8 617 68 17

Svetozar Serafimovski于20006年被任命为副总裁。Prover Technology2005年与一家主要信号验证解决方案供应商 Industrilogik L4i AB合并，也就是在那时他加盟Prover Technology。 加入Prover Technology以前，Serafimovski先生曾担任Industrilogik的总裁和共同发起人。Serafimovski先生是斯德哥尔摩大学的数学博士。