Advancing UK Aerospace, Defence, Security & Space Solutions Worldwide
  • Home
  • /
  • Aerospace
  • /
  • AdaCore expands UK presence to support aerospace and defence sectors

Aerospace Defence Security

AdaCore expands UK presence to support aerospace and defence sectors

AdaCore, a provider of software development and verification tools, today announced the opening of AdaCore Ltd, which will serve as the company’s UK centre-of-excellence for the development of safety- and security-critical software tools.

AdaCore has a long history serving customers in the UK. The company maintains relationships with many of the world’s major aerospace, defence and rail contractors. It is a member of ADS, the premier trade organisation for companies in the UK in Aerospace, Defence, Security and Space sectors and it actively participates in standards-related working groups and committees (such as for DO-178C).

Advertisement
Gulfstream RT

“The ATI welcomes the launch of AdaCore’s new operation, which will increase the UK’s capability in safety-critical software,” said Mark Scully, Head of Technology for Propulsion & Advanced Systems at the Aerospace Technology Institute. “The ATI has been working with AdaCore as we facilitate new software development projects and are delighted to see this lead to a new UK centre-of-excellence and more collaborations in the future.''

“Our decision to open AdaCore Ltd is part of a larger corporate strategy to invest our intellectual property, tools, and services in regions where the demand for secure software-based systems continues to grow,” said Cyrille Comar, AdaCore Group President. “This move will enable us to better support our existing customers in the UK; collaborate on new contractual, research, and mentorship opportunities within the British ecosystem; and share our expertise in product qualification and certification.”

As it does in other countries around the globe, AdaCore plans to expand its offering of public Ada training courses and events in the UK to help new users get up to speed with the Ada and SPARK languages.

Advertisement
Teledyne

“Many of the world’s top academic and global research universities reside in the UK, and we hope to collaborate with them regularly to broaden the reach of our GNAT Academic Program (GAP) and to address the need for safe, secure and reliable software,” said Emma Adby, AdaCore Ltd Managing Director.

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems.
 
 

Advertisement
Cranfield University
Manchester Airport has busiest ever June

Aerospace

Manchester Airport has busiest ever June

11 July 2025

More than three million passengers travelled through Manchester Airport last month – the first time the UK’s global gateway in the North has passed that mark in June.

Lane Electronics to showcase defence connectivity at MSPO

Aerospace Defence Events

Lane Electronics to showcase defence connectivity at MSPO

11 July 2025

Lane Electronics, a franchised distributor for many of the industry’s major electrical, electronic and optical connector manufacturers, will be Exhibiting at MSPO 2025 (2nd–5th September 2025, Kielce, Poland), where they will be displaying the latest connector innovations and demonstrating their UK based assembling and value add services.

LK Metrology acquires ProCon X-Ray

Aerospace

LK Metrology acquires ProCon X-Ray

11 July 2025

Best known as a manufacturer and global supplier of coordinate measuring machines (CMMs) and more recently laser scanning sensors, Castle Donington based LK Metrology Ltd has acquired ProCon X-Ray GmbH, a specialist German manufacturer of computed tomography (CT) systems.

Titan Airways adds first Embraer E190LR to its fleet

Aerospace

Titan Airways adds first Embraer E190LR to its fleet

11 July 2025

Stansted based European charter airline, Titan Airways, has announced that it had completed the purchase of its first Embraer E190LR regional jet.

Advertisement
ODU RT
Flitetec secures two distribution agreements

Aerospace Defence Events

Flitetec secures two distribution agreements

11 July 2025

Amersham based aerospace business Flitetec, has confirmed two major deals that it shook on at the recent Paris Air Show.

IFS appoints Kriti Sharma as CEO of Nexus Black

Aerospace Security

IFS appoints Kriti Sharma as CEO of Nexus Black

11 July 2025

IFS has appointed Kriti Sharma as CEO of IFS Nexus Black. This strategic move reinforces IFS’s commitment to industrial AI and fast-tracks the development of agentic AI systems designed for the asset- and service-intensive industries it serves.

Advertisement
ODU RT