PR and Marketing at @AdaCoreCompany Tools for Ada/SPARK/C/C++/Rust. THE High-Integrity and Safety-Critical experts. 🌈 Rides horses. [email protected]
Bristol, England
Joined August 2013
- Tweets6.5K
- Following3.8K
- Followers2.2K
- Likes7K
Pinned Tweet
Thanks for sharing our news @eeNewsEurope 🤩 @AdaCoreCompany releases GNAT Foundry: Intersection.
Can AI generated code be trusted in safety critical systems? 🔐
AdaCore’s GNAT Foundry takes a different approach to AI assisted development by combining code generation with formal proof, mathematically checking whether the resulting software meets its requirements.
It could offer engineers a way to use AI while maintaining the rigorous verification needed in high assurance applications.
Read more on eeNews Europe:
eenewseurope.com/en/adacore-…
Andrea Bristol FCIM retweeted
Sponsored - Embedded Executive LIVE at embedded world North America: AdaCore
Rich Nass and Mark Hermeling of @AdaCoreCompany talk tech at @embedded_USA 2026. #ewna #AI
embeddedcomputing.com/techno…
Preparing for the #CRA? Start with your engineers. The CRA asks whether your team applies secure development consistently, not whether a policy exists. Read the new blog from @AdaCoreCompany adacore.com/blog/security-is…
Very cool article by @Jacob_Beningo if you are looking into memory-safe language choices... worth a read
designnews.com/embedded-syst…
The main themes of the day so far at the @HISC_conf are speed and acceleration. How can AI be safely used in a high integrity systems? Recently @AdaCoreCompany released the GNAT Foundry which answers this! adacore.com/blog/gnat-foundr…
It's nearly time for the party to start! @HISC_conf - looking forward to a great day with my @AdaCoreCompany team. It looks fabulous here!
Andrea Bristol FCIM retweeted
.@AdaCoreCompany is co-organizer & exhibitor of upcoming #HISC2026 conference
#software @rapitasystems @Capgemini #highreliability
#Europe
militaryembedded.com/avionic…
Andrea Bristol FCIM retweeted
@AdaCoreCompany is attending the High Integrity Software Conference (HISC) 2026 in Birmingham on October 13, where it will exhibit and present a session on agentic AI workflows and software verification for high-integrity systems.
hubs.la/Q04zCMTb0
A new venue for @HISC_conf that takes place tomorrow, it's looking really fantastic. The Vox Birmingham is such a super-bright space with good acoustics, too (which, as a partially deaf person, I really appreciate). Thank you @ZiaBiaEvents :)
In September, @AdaCoreCompany launched GNAT Foundry which demonstrates our approach, not to treat the AI output itself as trustworthy, but to surround it with deterministic tools that generate independently checkable evidence. Free webinar next week adacore.com/events/demonstra…
I'm looking forward to @HISC_conf next week in Birmingham - especially excited for the #AI track
The future of Rust for DO 178C and ISO 26262 - read more from
@AdaCoreCompany here 👌adacore.com/blog/rust-for-do…
Demonstrating Trustworthy AI Development in High-Integrity Environments - 15th October!
In this webinar, Tony Aiello, Product Manager for SPARK and AI at @AdaCoreCompany will showcase our new demo, GNAT Foundry: Intersection. Book now adacore.com/events/demonstra…
Renishaw Neuro Solutions selects CodeSonar static analysis for neurosurgical robot cieonline.co.uk/renishaw-neu…
Today, @AdaCoreCompany is pleased to announce that Renishaw Neuro Solutions Ltd has selected CodeSonar®, AdaCore's static analysis tool, to support software development on its neuro | mate® stereotactic robotic delivery platform. adacore.com/press/renishaw-n…
Looking into how to develop trustworthy code with AI? @AdaCoreCompany can help. Have you tried our demo GNAT Foundry: Intersection? adacore.com/gnat-foundry-int…
Check out the @embedded_USA @embedded_comp podcast - chatting all things AI in high-integrity with @AdaCoreCompany youtube.com/watch?app=deskto…
Work in High Integrity software? Interested in how to use AI to develop trustworthy code? We can help - join @AdaCoreCompany on 15th October adacore.com/events/demonstra…