AdaCore provides commercial software solutions for Ada, a state-of-the-art programming language, they’re 120 people strong worldwide and in 2019 established themselves in the UK with offices based in Bristol and Yeovil. Which is why we got in touch to learn more about them.

1. In your own words – what do you do?

Everything we do at AdaCore is centred around helping developers build safe, secure and reliable software. With over two decades of experience working with the most respected companies in industries such as aerospace, defense and railways, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software.

2. What’s the most exciting thing about what you’re doing?

As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IoT, we’re excited to bring our technologies and services to help a whole new generation of developers. The SPARK programming language and toolset, designed for the most secure software development, is a real bleeding-edge technology. You simply can’t write better code and it’s great to see increased interest in this!

3. Why did AdaCore open a UK office?

We have a long and successful history serving customers in the UK so naturally it made sense to invest our intellectual property, tools and services in the region. This move allows us to collaborate on new R&D opportunities, as well as develop our ties with academia to broaden the reach of our GNAT Academic Program (GAP).

4. Can you tell us more about Ada and SPARK?

The Ada programming language and the Open Source software movement have always been at the centre of our business. In short, Ada is a programming language that development teams worldwide are using for critical software: from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. It’s also named in honor of Lady Ada Lovelace, often regarded as the world’s first programmer because of her work with Charles Babbage. SPARK is a subset of Ada to formally verify software.


5. How can people get started with these languages?

We’ve developed an interactive e-learning site to get up and running with Ada and SPARK –, and it’s free! A basic understanding of programming techniques is the only requirement. We also launch an annual Make with Ada competition which calls on software developers to build a cool project using Ada or SPARK. There’s over $8,000 up for grabs and it’s launching again this year on July 31st. See last year’s competition winners here.

6. What’s the best thing about the Bristol & Bath tech cluster?

The tech scene in Bristol & Bath feels particularly vibrant. The thriving grass-roots level meet-up scene is nicely balanced with the close proximity of big industry primes. We also can’t wait to get involved with SETsquared to see how we can support academia and collaborate to help people build software that matters.

7. Where can we find out more about you?

You can learn more about us on our website at