AdaCore

AdaCore s’est donné pour mission d’aider les équipes à concevoir des logiciels qui comptent vraiment. Dans le monde connecté d’aujourd’hui, les logiciels interviennent dans toujours plus de situations du quotidien. Vous avez pris la voiture ce matin ? Monté à bord d’un avion ? Vous êtes-vous déplacé d’un point à un autre, pour le travail ou pour le plaisir ? Derrière chacun de ces trajets se cachent des millions de lignes de code. Notre objectif est de contribuer à ce que ce code reste sûr et protégé. Fondée en 1994, AdaCore est le premier fournisseur commercial de solutions logicielles Ada. Ada est un langage de programmation de pointe conçu pour les systèmes vastes et durables, pour lesquels la sûreté, la sécurité et la fiabilité sont essentielles. Présente à Paris, New York et Boston, l’entreprise est née d’un projet secondaire mené par quelques professeurs de la NYU et leurs étudiants avant de devenir la référence de l’aérospatiale et de la défense.