About us

D-RisQ was established in May 2012 and has its office in Malvern, Worcestershire, the home of one of the UK’s new high technology business clusters.

D-Risq: Located on the Malvern Hills 

Since its establishment, the company has built an expert team of consultants, analysts and implementers to “change the way the world develops software” by bringing advanced automated software development tools to safety critical, security critical and business critical systems developers.

Delivering substantial savings in the time and cost of test and verification, these tools also provide the proof to certifying agencies of (only) correct operation.

The legacy technology employed by D-RisQ is based on thirty years worth of development in the UK Defence sector and has been licensed to D-RisQ for further development and commercialisation for the benefit of all business sectors.

The three Directors of D-RisQ are both the Company founders and the owners and represent a closely coupled and experienced management team able to nurture an emerging high technology “game changer” and provide it to clients who are struggling with the increasing complexity and cost of their systems developments.


David Sheppard

David Sheppard

Over 30 years experience in Aerospace and Defence with Smiths, Racal, Thales, BAeS, QinetiQ and Ricardo as an Engineer, Project Manager, COO and Managing Director. Closely involved in safety critical systems development projects since 1983, and more recently with business growth and transformation across all sectors.

Nick Tudor

Nick Tudor

With 20 years experience with the Royal Air Force has been followed by over a decade of experience within aerospace, defence and automotive industry with QinetiQ and more recently with Tudor Associates, Aeronautique Associates as well as D-RisQ. An active supporter of the international effort to refresh DO178 and is now a member of the Forum for Aeronautical Software.

Colin O’Halloran

Colin O’Halloran

Over 30 years’ experience in High Integrity Systems with RSRE, DERA and QinetiQ as a scientist, consultant and Business Group Manager. Visiting Professor at the University of York and Senior Research Fellow at the University of Oxford. Internationally recognised expertise in the validation and verification of software based systems using formal methods.

D-RisQ Limited

Malvern Hills Science Park

Geraldine Road
United Kingdom
WR14 3SZ
+44(0)1684 252452

Company Number: 7754903

What we do?

With a wide experience in analysis of complex systems and software across many sectors ranging from embedded systems to IT, safety and security critical systems, automotive, aerospace, robotics and many others, D-RisQ has developed huge experience from which to build automated formal analysis tools.

Learn more