DRISQ - Key Persons
Job Titles:
- Member of the LEADERSHIP TEAM
- Halloran
Colin has over 40 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. At RSRE he developed parts of the MALPAS analysis tool along with translators into its Intermediate Language.
Within DERA he was the technical authority for the development of the formal semantics of SPARK 83 carried out by PVL Ltd. Within QinetiQ he led the team that developed tools to mathematically verify the flight and engine control software for the Typhoon aircraft as well as the Auto-throttle and Auto-pilot. In 1996 he served on the European Space Agency's Board of Inquiry into the very first launch of Ariane 5 and compiled those parts of the report concerning the software's contribution to the failure.
Job Titles:
- Member of the LEADERSHIP TEAM
David understands the needs of business having worked in high tech manufacturing and R&D environments for over 40 years. He has worked with the likes of Smiths, Racal, Thales, BAeS, QinetiQ and Ricardo. 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 from engineer, through project management to MD and CEO.
He is also the Chairman of the business led Economic Growth Board for East Sussex and a Director of the South East Local Enterprise Partnership.
Job Titles:
- Member of the LEADERSHIP TEAM
During his 20 years with the Royal Air Force, Nick was senior software adviser on multiple air programmes including JSF, Eurofighter, Chinook and UK Ministry of Defence policies on the safety of software systems. Nick has spent nearly two further decades working within the aerospace, autonomous systems and automotive, rail, nuclear, medical devices and cyber-security sectors, engaging with government departments and businesses large and small in the UK, and internationally. He was one of the key authors of DO-178C which is the de facto software standard for aerospace and is part of the panel which has been advising the Federal Aviation Authority and its European counterpart on DO-178C, since its issue. As an acknowledged specialist in the field, he currently acts as Design Authority Chair for OLTER, a programme focused on setting benchmarks for the acceptance of offshore autonomous systems.