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
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!
1
2
51
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 :)
1
2
39
I'm looking forward to @HISC_conf next week in Birmingham - especially excited for the #AI track
1
2
47
Can an agentic LLM drive a high-integrity C toolchain? Watch Mark Hermeling put GNAT Pro for C, GNATcoverage (with coverage up to MC/DC level), and CodeSonar to work together, orchestrated by an agentic LLM, on a host or in cross-development. youtube.com/watch?v=VQpaz24w…
26
Last week at SDV USA, Filip Gajowniczek, caught up with the conference organizers @weCONECT to discuss the emerging trends in automotive software development. Software-defined vehicles live or die on software quality youtu.be/03CcjBcgN7w?si=p7QE…
143
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 :)
3
25
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 :)
7