He currently leads 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. He received an MEng in Computer Systems and Software Engineering and a DPhil in Computer Science from the University of York, England, in 1991 and 1995 respectively. He can be reached via email at rod.chapman at praxis-his.com