Chief Strategy Officer, Exec VP
Arne Borälv joined Prover Technology in 1995 and has held positions including Chief Technology Officer, President of Prover Technology subsidiaries in France and the US, and CEO (2010-2016). Mr. Borälv has extensive (+20 years) experience of industrial application of formal verification, including automotive, avionics, railways and semiconductors (EDA).
During his time as CTO at Prover Technology, Mr. Borälv led the creation of the company’s unique product portfolio for development of safety-critical signaling and control systems in railways. During his time as CEO, Mr. Borälv led the company to a profitable venture, and launched the Prover Trident solution.
Mr. Borälv holds a Masters degree in Computer Science from the University of Uppsala, Sweden.