AdaCore
Founded 1994 · 168 employees on LinkedIn · 1 known investors
Find your way into AdaCore
AdaCore develops open-source toolchains and verification tools for Ada/SPARK, C/C++, and Rust used to build safety-critical and mission-critical embedded software. Its customers span aerospace, defense, rail, automotive, energy, telecoms, finance, and medical industries, with the tools designed to meet certification standards.
Founders & leadership
AdaCore was founded in 1994 by Franco Gasperoni and Cyrille Comar.
FG
Franco GasperoniinCEO / Co-Founder
CC
Cyrille ComarinCo-Founder
AC
Arnaud CharletinChief Technology Officer
GG
Gaëlle GourlininChief People Officer
ML
Marie LabasinChief Financial Officer
QO
Quentin OcheminChief Product and Revenue Officer
RB
Romain BerrendonnerinChief Legal Officer
JB
Joel BrobeckerDirector of Product Engineering
OR
Olivier RamonatIT Director
Investors · 1
In the news
Frequently asked questions
- What does AdaCore do?
- AdaCore develops open-source toolchains and verification tools for Ada/SPARK, C/C++, and Rust used to build safety-critical and mission-critical embedded software. Its customers span aerospace, defense, rail, automotive, energy, telecoms, finance, and medical industries, with the tools designed to meet certification standards.
- Who founded AdaCore?
- AdaCore was founded by Franco Gasperoni, Cyrille Comar in 1994.
- Who are AdaCore's investors?
- AdaCore's investors include Battery Ventures.