Andrea Bristol FCIM

I had a great day yesterday at @ADSgroupUK meeting with the theme of obsolescence - thank you to Antoine Colin from @rapitasystems for joining me 🙌 and thank you to @CadenceSDA for hosting us :)

As embedded systems face increasing regulatory scrutiny, AdaCore will present advanced tools for formal methods, memory safety, and DevSecOps at Embedded World 2026 to help engineers deliver demonstrably secure software. hubs.la/Q046cPh00 #EmbeddedWorld

The future of manufacturing relies on high-fidelity virtualization to eliminate deployment risks before a single machine moves on the factory floor. Join Banseok Kim and Jong-ho Shin (@HMGnewsroom) to explore how Hyundai leverages @nvidiaomniverse-powered digital twins and virtual commissioning to accelerate factory autonomy and improve startup efficiency. 📅 Tuesday, March 17 | p.m. – p.m. 📍 #NVIDIAGTC 2026 Add to schedule 👉 nvda.ws/4b3p8Rq

Day 1 of #ew2026 was great - huge thanks to @ipxchangetech for coming along to discover all things Ada, SPARK, and Rust 🙌 Ready for day two :)

A 2am start and not for a horse show - on my way to #ew2026 - looking forward to seeing my AdaCore team and @ipxchangetech @Elektor @VDC_Research

@Elektor Very happy to be seeing the @Elektor team next week and to represent @AdaCoreCompany 🥰🙌

AdaCore is showcasing its technologies at Embedded World 2026, with a focus on safety-critical and high-reliability systems in embedded development. The coverage highlights how AdaCore’s tools and language support — particularly around Ada and SPARK — help engineers build robust software for industries where correctness, security, and certification are essential. Read the full article here: elektormagazine.com/news/adacore-e…

When we say “build software that matters” this is what we are talking about! @AdaCoreCompany

@gitlab Really happy that CodeSonar is now part of @AdaCoreCompany - great work on this blog @DarwinTheorizes and Mark Hermeling 🙌

Automate embedded systems compliance with GitLab and CodeSonar. about.gitlab.com/blog/automate-…

Automate embedded systems compliance with GitLab and CodeSonar via @gitlab, by @DarwinTheorizes about.gitlab.com/blog/automate-…

AdaCore is proud to be part of the NVIDIA DRIVE AGX Thor ecosystem. “At @AdaCoreCompany we are committed to supporting technologies that enable safe, secure, and reliable mobility.” Read more on the #NVIDIA blog ⬇️ blogs.nvidia.com/blog/drive-agx…

At the recent @DARPA Resilient Software Systems Colloquium, a series of panel discussions shed light on how government agencies are adopting formal methods. We summarise these discussions in our latest blog blog.adacore.com/formal-methods…

One of the things I love the most about working at @AdaCoreCompany is the people. The passion and ambition to improve every part of our work. In his new blog, M. Anthony Aiello revisits some work he did earlier this year. blog.adacore.com/revisiting-the…

Never exhibited at #HISC? Our Mini Booth package is designed for new exhibitors as well as software #Startups. 🤝Network with 200+ delegates from Government, Academia & Industry 🎙️Add on a Spotlight Talk to draw traffic to your booth More info: his-conference.co.uk/exhibitors

The #HISC2025 programme is now live 🎉 Kicking off with a keynote from Dave Kleidermacher, this year’s event is not to be missed. Find the full programme here: his-conference.co.uk/programme

Ada continues to rise in the TIOBE and PYPL indices, now ranked 9 and 13, respectively, for July 2025. 🎉 “With the ever-stronger demands on security, Ada is, as a s

@InfoWorld Ever stronger demands on security mean Ada is set to keep growing in popularity 🙌

Ada, other older languages vie for top spots in Tiobe language index infoworld.com/article/402051…

AIMindUpdate News! Safety-critical systems need a rock-solid language. Ada, conceived in the 70s, is surging in the Tiobe Index. Find out why!#AdaLanguage #TiobeIndex #SoftwareSecurity Click here↓↓↓ aimindupdate.com/2025/07/14/ada…