Adacore

Adacore company information, Employees & Contact Information

Explore related pages

Related company profiles:

AdaCore's mission is to help people build software that matters. In the modern world there is an ever increasing amount of activities that require the integration of software. Have you driven your car today? Flown on a plane? Endeavored to move from Point A to Point B anywhere for work or play? Millions upon millions of lines of code were required in order for you to do so. We endeavor to make sure that code is safe and secure. Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. With offices in Paris, New York and Boston, what started as a side project between a few NYU professors and their students has become the Aerospace and Defense industry's standard. For more information visit our website at www.adacore.com or click on our job offerings on this page.

Company Details

Employees
152
Founded
-
Address
46 Rue D'amsterdam, Paris,france 75009,france
Phone
(212)620-7300
Email
in****@****ore.com
Industry
Software Development
NAICS
Software Publishers
HQ
Paris, France
Looking for a particular Adacore employee's phone or email?

Adacore Questions

News

AdaCore expands with CodeSecure merger ... - eeNews Europe

AdaCore expands with CodeSecure merger ... eeNews Europe

AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions - Business Wire

AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions Business Wire

AdaCore encourages Ada, Spark for Advent of Code ... - eeNews Europe

AdaCore encourages Ada, Spark for Advent of Code ... eeNews Europe

AdaCore celebrates 30 years in business - Military Embedded Systems

AdaCore celebrates 30 years in business Military Embedded Systems

AdaCore Introduces GNAT Pro for the Wind River Helix Virtualization Platform - Embedded Computing Design

AdaCore Introduces GNAT Pro for the Wind River Helix Virtualization Platform Embedded Computing Design

Ada and SPARK enter the automotive ISO-26262 market with NVIDIA - Yahoo Finance

Ada and SPARK enter the automotive ISO-26262 market with NVIDIA Yahoo Finance

Celebrating 30 Years of AdaCore - Business Wire

Celebrating 30 Years of AdaCore Business Wire

Programming Ada: First Steps On The Desktop - Hackaday

Programming Ada: First Steps On The Desktop Hackaday

Ada and the FACE approach: Enabling high-assurance, portable software for defense systems - Military Embedded Systems

Ada and the FACE approach: Enabling high-assurance, portable software for defense systems Military Embedded Systems

Hacking the Linux Kernel in Ada - Part 1 - Embedded Computing Design

Hacking the Linux Kernel in Ada - Part 1 Embedded Computing Design

Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development - Business Wire

Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development Business Wire

CHERI toolchain for secure by design avionics ... - eeNews Europe

CHERI toolchain for secure by design avionics ... eeNews Europe

Advanced static analysis meets contract-based programming - Embedded Computing Design

Advanced static analysis meets contract-based programming Embedded Computing Design

Toward safety and security in FACE components: High assurance with portability - Military Embedded Systems

Toward safety and security in FACE components: High assurance with portability Military Embedded Systems

AdaCore Announces GNAT Pro for Rust - Business Wire

AdaCore Announces GNAT Pro for Rust Business Wire

First Rust compiler qualified for ISO26262 ... - eeNews Europe

First Rust compiler qualified for ISO26262 ... eeNews Europe

The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK - Embedded Computing Design

The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK Embedded Computing Design

Nvidia drives Ada and SPARK into driverless cars ... - eeNews Europe

Nvidia drives Ada and SPARK into driverless cars ... eeNews Europe

Tool adds fuzz testing for cybersecurity ... - eeNews Europe

Tool adds fuzz testing for cybersecurity ... eeNews Europe

Airbus Helicopters to use Ada for drone ... - eeNews Europe

Airbus Helicopters to use Ada for drone ... eeNews Europe

Rust, A Programming Language - Embedded Computing Design

Rust, A Programming Language Embedded Computing Design

Formal program verification in avionics certification - Military Embedded Systems

Formal program verification in avionics certification Military Embedded Systems

DO-178C meets the FACE Technical Standard: High assurance and reusability for airborne software - Military Embedded Systems

DO-178C meets the FACE Technical Standard: High assurance and reusability for airborne software Military Embedded Systems

Programming A RISC-V Softcore With Ada - Hackaday

Programming A RISC-V Softcore With Ada Hackaday

Securing military embedded systems is a giant challenge - Military Embedded Systems

Securing military embedded systems is a giant challenge Military Embedded Systems

Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software - samoaobserver.ws

Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software samoaobserver.ws

DO-332, the Liskov Substitution Principle, and local type consistency ramp up DO-178 certification - Military Embedded Systems

DO-332, the Liskov Substitution Principle, and local type consistency ramp up DO-178 certification Military Embedded Systems

Trusting the tools: An agile approach to tool qualification for DO-178C - Military Embedded Systems

Trusting the tools: An agile approach to tool qualification for DO-178C Military Embedded Systems

Product Focus: Real-Time Operating Systems - Avionics International

Product Focus: Real-Time Operating Systems Avionics International

Top Adacore Employees

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant