Who we are
Phil Thornley is a software engineer with many years experience in the development of embedded software.
He was previously employed by the Air Systems division of BAE Systems, where he worked as a specialist in safety-critical software.
He has worked with Ada since 1987 and SPARK since 1992, with a particular interest in the use of the proof features of the SPARK language and toolset.
Between 2006 and 2009 he worked on the iFACTS software development.
He is a Member of the IET and a Chartered Engineer.