Speakers

 As co-Founder of D-RisQ, Nick has worked in multiple sectors including aerospace, defence, automotive, rail, autonomous systems in air, land, sea, nuclear decommissioning and cyber-security.  Having been a key author of DO-333, the Formal Methods Supplement to the de-facto software standard for aerospace, DO-178C, he was invited to be one of only 3 UK nationals to support the panel that develops advice for regulators on the DO-178C suite of documents.  As CEO of D-RisQ, he sets the strategy for the business which is focused on the development of automatic formal methods verification tools and has a technical focus on certification.