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.

Marcus Tallhamn

Chief Marketing Officer
President, Prover Technology Inc

+1 650 722 2750

Marcus Tallhamn joined Prover Technology in 1998 and was appointed Chief Marketing Officer and President, Prover Technology Inc in 2007. Before that, he held positions in R&D, Marketing and Business Development at Prover Technology’s sites in USA, France and Sweden.

Prior to joining Prover, Mr. Tallhamn held R&D positions at Celsius Technologies and Chalmers where he did defense software development and robotics AI/GP research. Mr. Tallhamn attended the MS Engineering Physics program at Chalmers, 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.

Svetozar Serafimovski

VP, Business Development

+46 (0)8 617 68 17

Svetozar Serafimovski was appointed Vice President in 2006. He joined Prover Technology in 2005 through the acquisition of Industrilogik L4i AB, a leading provider of signaling verification solutions. Prior to joining Prover Technology, Mr Serafimovski was the President and co-founder of Industrilogik. Mr Serafimovski holds a Ph.D. degree in Mathematics from Stockholm University.