Industrial Strength Exception Freedom

Rod Chapman

Roderick Chapman received MEng and DPhil degrees from the University of York, England in 1991 and 1995 respectively. He is currently a software engineer with Praxis Critical Systems, specializing in the design and implementation of high-integrity real-time and embedded systems. He has also been involved with the development of the SPARK language and its associated static analysis tools. Dr. Chapman is a member of the British Computer Society and is a Chartered Engineer.

Rod Chapman
Praxis Critical Systems
20 Manvers Street
Bath, BA1 1PX
UK

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