Broad industry expertise
Prover Technology’s executive team has unmatched experience in formal specification and verification of embedded control systems, and a diverse cultural and academic background.
Gunnar Stålmarck
CEO
President, Prover Technology AB
+46 (0)8 617 68 00
Gunnar Stålmarck is the President and CEO of Prover, which he founded in 1989. 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 left his Adjoint Professorship in Computer Science at Chalmers to focus fulltime on Prover.
Arne Boralv
Chief Technology Officer
+46 (0)8 617 68 05
Arne Boralv is the CTO of Prover Technology. Mr Boralv joined Prover Technology in 1995. He has held several senior R&D and business development positions and is in charge of long-term technical collaboration projects with companies such as Intel.
Mr Boralv was appointed CTO in 2001 and holds a Masters degree in Computer Science from the University of Uppsala, Sweden.
Tina Barry
Chief Financial Officer
+46 8 617 68 00
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, Sales
President, Prover Technology SAS
+33 685 33 40 74
Thierry Lartaud joined Prover Technology in 2001 and was appointed VP, 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 Electrical Engineering from CNAM, Paris.