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
Andrea Bristol FCIM retweeted
AdaCore co-organises and exhibits at the High Integrity Software Conference 2026 in Birmingham cieonline.co.uk/adacore-co-o…
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…
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
Andrea Bristol FCIM retweeted
Stay updated with the latest advancements in unmanned systems technology with this week's UST eBrief👇
hubs.la/Q04y2KMd0
Andrea Bristol FCIM retweeted
AdaCore releases an open-source demonstrator showing how formal verification tools can provide deterministic guardrails for AI in safety-critical software development.
Read more:
hubs.la/Q04xQPbT0
@AdaCoreCompany
Andrea Bristol FCIM retweeted
We’re excited to announce a strategic collaboration with @einrideofficial to accelerate the future of autonomous trucking.
Einride builds and operates the autonomous driving system. NVIDIA DRIVE Hyperion provides the production-ready foundation powering it — enabling Einride to scale safely.
Looking forward to the journey ahead! 🚛
Einride enters a strategic collaboration with @NVIDIADRIVE to accelerate autonomous trucking on highways and suburban roads. Building the next generation of Einride Driver on NVIDIA Hyperion platform, supports capital efficient scale of autonomous capacity across Einride’s freight network.
$ENRD
Andrea Bristol FCIM retweeted
An exciting launch for AdaCore today! A demonstration of trustworthy AI development bit.ly/4yBYUyi
Andrea Bristol FCIM retweeted
Under the Cyber Resilience Act, manufacturers have 24 hours to report an actively exploited vulnerability in their product. See how GitLab helps you answer fast.
about.gitlab.com/blog/cyber-…
Andrea Bristol FCIM retweeted
Robotaxi leaders around the world are all building on NVIDIA to deploy and scale safe, reliable robotaxis.
NVIDIA DRIVE is the only platform that spans AI training, simulation, and in-vehicle computing, and it's modular.
Read more → nvda.ws/46Q6bOT
Andrea Bristol FCIM retweeted
AdaCore equips developers to create reliable, safe, and secure software. Read more on UST ↓
hubs.la/Q04sB5HV0
Andrea Bristol FCIM retweeted
Returning to a milestone that brought our teams together. 🚀
Behind the transfer & verticalization of our 2nd Stage lies weeks of preparation and the work of our Production & Integration, Fluids, SMS, Systems, Propulsion and Quality teams.
Our launcher is becoming a reality. 🔥
Andrea Bristol FCIM retweeted
Can't make it to Montréal this September? RustConf 2026 is still available to you. Virtual tickets are pay what you wish!
Livestreamed keynotes + sessions, plus access to the conference Discord. Sept 9 & 10.
Register: bit.ly/4cbWVYz 🦀
#rustlang #rustconf26
Andrea Bristol FCIM retweeted
AdaCore Reports Increased Adoption of Memory-Safe Programming Languages: ift.tt/wa8XokE
Andrea Bristol FCIM retweeted
We’re expanding our partnership with @ToyotaMotorCorp to accelerate the next era of mobility with physical AI. 🚗
Across automotive, robotics and cities, Toyota is using our accelerated computing, AI software and simulation technologies. This collaboration will help develop safer, more intelligent vehicles, fine tune factory operations, and power urban intelligence systems.
Read the blog: nvda.ws/454YfbE
Andrea Bristol FCIM retweeted
AI can find the defects hiding in your automotive C and C++ codebase. The question is whether you can verify the code you write. Our new CTO guide covers 4 approaches to memory safety in embedded systems, & why formal methods offer the practical payoff.
just-auto.com/sponsored/the-…
Andrea Bristol FCIM retweeted
Whitepaper - CodeSonar: Helping Teams Ship Safer, Higher-Quality Code Faster #softwaredevelopment
In safety-critical software development, the cost of a bug isn’t measured in debugging hours. With @AdaCoreCompany .
embeddedcomputing.com/techno…
Andrea Bristol FCIM retweeted
#rustconf turns 10! 🦀
A decade of the original #rustlang conference — and the most immersive yet: community lightning talks, updates from Rust project leads, job resources, and an anniversary party in Montréal.
Rates go up in August. Secure your spot today!
🎟️ bit.ly/4uOZmHS
Andrea Bristol FCIM retweeted
Physical AI Days are back at #NVIDIAGTC, this time in Taipei. ✈️
Check out our curated set of sessions on all things physical AI - from robots and industrial AI to digital twins and simulation - built to help you turn ideas into real-world deployments.
📅 June 3 (Wednesday) – June 4 (Thursday), 2026
📍 TICC (Taipei International Convention Center)
Add it to your schedule: nvda.ws/49excgB
Can’t make it in person? Sessions will be available on demand.
Andrea Bristol FCIM retweeted
Autonomous vehicle safety requires the entire ecosystem to move together.
This week at Beijing Auto Show, we hosted its first Halos AV Safety Day in China — bringing OEMs, tier 1, sensor vendors, simulation partners, and certification bodies into one room to advance safe AV development with NVIDIA Halos.
