industry news
Subscribe Now

AdaCore Launches Free, Online Ada Educational Resource for the Software Development Community

NEW YORK and PARIS, September 25, 2013 – AdaCore today launched AdaCore University – a free, web-based resource center for anyone interested in learning about, or how to program in, the Ada programming language. The new website offers pre-recorded courses and other learning materials on Ada, with access to AdaCore’s GNAT Ada toolset for writing and running example programs. It also utilizes the latest in website design and learning tool features. Students at all levels of experience and expertise can begin writing programs quickly and can proceed at their own pace.

AdaCore University courses educate through examples, allowing students to see, understand and experiment with most features of the Ada programming language. Drawing on the experience and teaching credentials of Ada experts, such as AdaCore founders and New York University Emeritus Professors Robert Dewar and Edmond Schonberg, the courses explain Ada’s technical concepts with insight into the rationale and usage of particular features.

The initial curriculum includes two courses:

  • Ada 001, “Overview” – a module that presents an overall picture of the language and that allows students to write small programs; and 
  • Ada 002, “Basic Concepts” – the first in a formal series of Ada classes, introducing basic Ada programming concepts and allowing students to write programs based on these features. 

Both of these modules, and all future courses, provide sources and installation instructions for all learning materials and tools. The courses cover the latest version of the Ada language (Ada 2012), and students have access to AdaCore’s GNAT Ada development environment and programming tools. The AdaCore University website also hosts a number of technical papers on Ada, offering insight into particular aspects of the language’s design and usage.

AdaCore University is an ongoing, live project that will be expanded to include more advanced courses on Ada, and SPARK 2014 – an Ada-based programming language designed for high-integrity software (i.e., where reliability is essential and where safety and/or security certification may be required).

For more information on AdaCore University please visit http://u.adacore.com 

About AdaCore

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. AdaCore’s flagship product is the open source GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including space-based systems, commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Leave a Reply

featured blogs
Apr 24, 2026
A thought experiment in curiosity, confusion, and cosmic consequences....

featured paper

Quickly and accurately identify inter-domain leakage issues in IC designs

Sponsored by Siemens Digital Industries Software

Power domain leakage is a major IC reliability issue, often missed by traditional tools. This white paper describes challenges of identifying leakage, types of false results, and presents Siemens EDA’s Insight Analyzer. The tool proactively finds true leakage paths, filters out false positives, and helps circuit designers quickly fix risks—enabling more robust, reliable chip designs. With detailed, context-aware analysis, designers save time and improve silicon quality.

Click to read more

featured chalk talk

Connecting the World Through Space
Sponsored by Mouser Electronics and Qorvo
In this episode of Chalk Talk, Ryan Jennings from Qorvo and Amelia Dalton explore the critical components and design challenges inherent in LEO satellite infrastructure and how Qorvo’s solutions are enabling the next generation of space-based connectivity. 
Mar 30, 2026
26,092 views