Malvern, UK - 24th July 2025
D-RisQ is proud to sponsor the TAROS Conference 2025, the UK’s longest-running international event dedicated to robotics and autonomous systems, taking place this year in partnership with leading academic and industry pioneers.
As a specialist in formal methods and safety-critical software assurance, D-RisQ’s commitment to TAROS reflects its ongoing investment in robust, certifiable autonomy across aerospace, defence, robotics, and beyond. This year’s sponsorship also shines a light on D-RisQ’s longstanding collaboration with the University of York and Robostar - the Centre for Software Engineering for Robotics - two institutions at the forefront of software assurance research and application.
“We’re honoured to be supporting TAROS 2025,” said Nick Tudor, CEO at D-RisQ. “Our partnerships with York and Robostar have demonstrated what’s possible when research excellence and real-world application work hand in hand. Together, we are addressing one of the biggest challenges in autonomy: ensuring systems behave as expected, even in complex and unpredictable environments.”
The conference provides an ideal platform for D-RisQ to engage with academic, industrial, and policy leaders exploring the next generation of dependable autonomous technologies. Through its automated toolsets and practical support for certification, D-RisQ continues to help engineers integrate formal methods into their workflows - without slowing down innovation.
