AdaCore

AdaCore exists to help teams create software that truly counts. Today’s connected world depends on software in more places than ever before. Drove to work this morning? Took a flight? Got from one place to another for business or fun? Behind every one of those moments sits an enormous volume of code. Our goal is to help ensure that code stays safe and protected. AdaCore, established in 1994, is the foremost commercial provider of Ada software solutions. Ada is a cutting-edge programming language built for large, enduring systems where safety, security, and dependability are essential. With offices in Paris, New York, and Boston, the company began as a small collaboration between a few NYU professors and their students and has grown into the aerospace and defense sector’s benchmark.