A Language for Systems not Just Software

Logic vs. Magic

Peter Amey

Peter Amey is an aeronautical engineer by original professional training. He served as an engineering officer in the Royal Air Force and spent several years at the Boscombe Down test establishment working on the certification of aircraft armament systems. Peter joined Program Validation Limited to develop SPARK and the SPARK Examiner and continues that work today with Praxis Critical Systems. As well developing SPARK he has used it on major programmes including Tornado, Eurofighter and the Lockheed C130J. Peter teaches SPARK and Ada on a regular basis and has lectured widely on the development of critical systems.

Peter Amey
Praxis Critical Systems
20 Manvers Street
Bath, BA1 1PX
UK

Phone: +44 1225 466991
FAX: +44 1225 469006
Email: peter.amey@praxis-cs.co.uk
URL: www.sparkada.com