1 Like
From EE News Automotive:
(AdaCore expands with CodeSecure merger ... )
“Franco Gasperoni, currently CEO of AdaCore, will serve as CEO of the combined company which will initially operate under both brands. The company is expected to operate under the Adacore brand going forward and retain its headquarters in Paris, France, and New York.”
Ok, now we know it will still be known as AdaCore 
4 Likes
Additional background: Battery acquired CodeSecure in 2023 and AdaCore in 2024.