Arne Boralv

CEO
President, Prover Technology AB

Arne Borälv was appointed CEO of Prover Technology in 2010. Mr. Borälv has been with Prover Technology for 15 years, and has held positions including President of Prover Technology, Inc., Chief Technology Officer and Vice President of Prover Technology AB.

During his time as CTO, Mr. Borälv has been in charge of the company’s unique products for significant reduction of development costs of safety-critical signaling and control systems in railways.

Mr. Borälv holds a Masters degree in Computer Science from the University of Uppsala, Sweden.

Tina Barry

Chief Financial Officer
Vice President, Prover Technology AB

Tina Barry is Prover Technology's CFO. Mrs Barry joined Prover Technology in 2008. Prior to joining Prover Technology Mrs Barry has held several senior finance management positions with global software and hardware companies, including Altera.

Mrs. Barry holds a Bachelors Degree in Accounting and an MBA from San Jose State University, CA, USA. She resides in Sweden.

Thierry Lartaud

VP of Sales
President, Prover Technology SAS

Thierry Lartaud joined Prover Technology in 2001 and was appointed VP of European Sales in 2004. Mr. Lartaud is also the Managing Director for Prover Technology SAS in Toulouse.

Prior to joining Prover Technology, Mr. Lartaud held several management positions within sales and engineering at ON Semiconductor, Motorola and Future Electronics from 1990 to 2001. Mr. Lartaud holds a Masters degree in Electronic Engineering from CNAM, Paris.

Gunnar Stålmarck

Founder and advisor
Prover Technology AB

Gunnar Stålmarck is the founder of Prover Technology and an advisor to the company. Mr. Stålmarck holds international patents on proof engine based verification and has published numerous award winning research papers.

Prior to founding Prover, he worked at Ericsson for several years as a consultant and researcher in applications of formal methods. Mr. Stålmarck holds a Master degree in Theoretical Philosophy from Stockholm University. Mr. Stålmarck has also held an Adjoint Professorship in Computer Science at Chalmers.