ABOUT US

What makes us one of the best UK high-tech companies for developing software verification systems

D-Risq - Eye icon

TAKE a closer look AT WHO WE ARE

D-RisQ is a leading high-tech UK company specialising in producing software and systems verification technologies based in Malvern, Worcestershire – the home of one of the UK’s newest high technology business clusters.
Since 2012, we’ve built an expert team of software consultants, analysts and developers to help “change the way the world does software”. By bringing advanced automated software verification tools to safety-critical, security-critical and business-critical system developers, we enable substantial savings in the time and cost of software development.
These tools also provide organisations with the proof of compliance to internationally recognised standards in various sectors.
The legacy technology we use is based on over thirty years of development in the UK defence sector and has been licensed to us for further development and commercialisation for the benefit of all business sectors.
Over the years, we’ve harnessed hundreds of man-years of development effort and applied it through a team of highly qualified mathematicians and computer scientists. Following eight years of R&D, we have taken the core technology and created a suite of world-leading software development tools for you to benefit from.

Meet the team

Our company was founded and is managed by three highly experienced professionals. Together, they’re able to provide game-changing software solutions to organisations who are struggling with the increasing complexities and costs of their system development.
D-Risq - Founder - David Sheppard

David Sheppard

David has over 30 years of experience in the aerospace and defence sectors. He’s worked with the likes of Smiths, Racal, Thales, BAeS, QinetiQ and Ricardo as an engineer, project manager, COO and managing director. Since 1983, he’s also been closely involved in a number of safety-critical systems development projects and played an integral role in business growth and transformation across all sectors.
D-RisQ - LinkedIn icon - David Sheppard
D-Risq - Founder - Nick Tudor

Nick Tudor

Since acquiring 20 years of experience with the Royal Air Force, Nick has spent nearly two further decades within the aerospace, autonomous systems and automotive industries in various roles in large business and SMEs. Nick is an active supporter of the international effort to refresh DO178 and is a member of the Forum for Aeronautical Software.
D-RisQ - LinkedIn icon - Nick Tudor Image
D-Risq - Founder - Colin O'halloran

Colin O’Halloran

Colin has over 30 years of experience in high integrity systems, operating as a scientist, consultant and business group manager with RSRE, DERA and QinetiQ. He’s also a visiting professor at the University of York and was previously a full professor of computer science at the University of Oxford. Colin is an internationally recognised expert in the validation and verification of software-based systems using formal methods.
D-RisQ - LinkedIn icon - Colin O'Halloran Image
D-Risq - our foundations icon

Our foundation of our work

Building on the work of Sir Tony Hoare’s research group at the University of Oxford and Professor Mike Gordon’s research group at the University of Cambridge, D-RisQ’s formal methods of technology provides the mechanism to deliver complete verification to the highest regulatory standards at a fraction of the cost of traditional methods.
With formal methods based mathematical tools covering requirements capture and design verification, backed up by future source code and object code verification, D-RisQ provides automated verification solutions for the most demanding system needs.
Our approach provides any developer with true software design agility and helps significantly reduce the development and long-term costs of the system. Regardless of how complex your system is or how stringent your sector regulations are, our tools can scale to increase the savings and provide complete high-quality behavioural assurance.
Autonomous Aquatic Inspection
CASE STUDY

DISCOVER MORE

Modelworks®
CASE STUDY

DISCOVER MORE

D-Risq - Logo