===============
About AdaCore
===============

-------------
The Company
-------------

..
    Taken from https://www.adacore.com/company/about

* Founded in 1994
* Centered around helping developers build **safe, secure and reliable** software
* Headquartered in New York and Paris

   - Representatives in countries around the globe

* Roots in Open Source software movement

    - Provide toolchains for Ada/SPARK, C/C++ and Rust
    - Focus on safety-critical and mission-critical systems
