Independent SPARK Support

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.