Commemorating Lady Ada’s 200th birthday, AdaCore’s detailed graphic summarizes her life and accomplishments, recaps milestones and resources for programming language named in her honor
NEW YORK, December 9, 2015 - Who was Ada Lovelace, and how are her life and contributions significant today? Lady Ada, born on December 10, 1815, and the daughter of British poet Lord Byron, was a woman of many talents but with a particular leaning towards mathematics. She is commonly regarded as the world’s first programmer based on her work with Charles Babbage on his Analytical Engine. Her choice to study and specialize in the science, technology, engineering and mathematics (STEM) disciplines was highly exceptional for a woman in 19th century England, but she had an excellent role model in her mother, Anne Isabella (Milbanke) Byron. Lady Byron was herself a woman of high intellect with a passion for mathematics – Lord Byron called her the “Princess of Parallelograms” – and she strongly encouraged Ada in her studies.
Ada’s seminal work in computing was honored by the United States Department of Defense through its choice of the name “Ada” in 1979 for its common high-order computer programming language. This language, with its focus on software engineering, is a fitting tribute to her accomplishments.
AdaCore is pleased to join in the celebration of Ada Lovelace’s Bicentennial with an on-line graphic that highlights her life and career, as well as key milestones and resources for the language that bears her name. Click here to view the full Ada Lovelace Graphic: http://celebratingada.com/
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:
- The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
- The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
- The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
- The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.
Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.
508.475.0025, ext. 124