Industrial Experience with SPARK

Dr. Roderick 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, specialising 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.

Praxis Critical Systems Limited