AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C and C++, and Rust, headquartered in New York City and Paris. It was founded in 1994 as Ada Core Technologies by members of the New York University team that built GNAT, the GNU NYU Ada Translator, an Ada front end for the GNU Compiler Collection, with Robert Dewar, Edmond Schonberg and Richard Kenner among its founders and a sister company in Paris led by Cyrille Comar and Franco Gasperoni. The two firms became one company officially in 2012. Its tools serve the aerospace, defense, automotive, rail and medical device industries, and it works with Altran on the SPARK language. Battery Ventures acquired a majority stake in 2024.
Facts
Founded Year Company Type
Company Type (category) Connections
Companies Founded
Source Robert Dewar (Wikipedia)
Companies Led
Source Robert Dewar (Wikipedia)
In the Other Atlases
Developed
Also in Computing Atlas: developed by this subject.
Source SPARK (programming language) (Wikipedia)History, 2009Quote, History, 2009
In early 2009, Praxis formed a partnership with AdaCore, and released SPARK Pro under the terms of the GPL.
Located In
Also in Geography Atlas: where this subject is located.
Source AdaCore (Wikipedia)LeadQuote, Lead
Headquartered in New York City and Paris
Also in Geography Atlas: where this subject is located.
Source AdaCore (Wikipedia)Lead, ParisQuote, Lead, Paris
Headquartered in New York City and Paris
Sources
1. AdaCore (Wikipedia)
Lead, Paris
Headquartered in New York City and Paris
Infobox: num_employees
200
Infobox: founded
1994
Infobox: type
Private
Lead
AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C/C++, and Rust.
View the SourceRobert Dewar (Wikipedia)
Companies Founded: Robert Dewar, Career, AdaCore cofounder
which he cofounded in 1994
Companies Led: Robert Dewar, Career, AdaCore chief executive
served as its CEO until 2012
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.