Fundraising Fox
AdaCore
Founded 1994 · 168 employees on LinkedIn · 1 known investors
Find your way into AdaCore
Sign up to find every way you can get introduced to AdaCore
- Your email: who you already know at AdaCore, and who your contacts know
- 2nd- and 3rd-degree connections: people you know who worked, studied or invested with the AdaCore team
- Your LinkedIn: the connections who can make the intro for you
We rank every route by how warm it is, so you raise on warm intros instead of cold emails.
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.
JB
Joel BrobeckerDirector of Product Engineering
OR
Olivier RamonatIT Director
Investors · 1
Battery Ventures✓ confirmed by AdaCoreBoston · $500K – $100M
How we know: Battery Ventures's portfolio page · the company's own site · funding news · press coverage · Not right? Tell us
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.