Rod Chapman

Dr. Roderick C. Chapman is a Principal Engineer with Altran-Praxis, specializing in the design and implementation of safety and security-critical systems. He led the development of the SPARK language and its associated analysis tools. Recently, Altran-Praxis has been appointed by UK's National Air Traffic Services (NATS) to work on a large Air Traffic Control (ATC) partnering contract to write the specification and develop the software for a new ATC System called iFACTS which will trigger the biggest change in ATC since the introduction of radar.

Dr. Chapman give two talks at UCD CASL from 23th-24th April 2007.

Correctness by Construction of High Integrity Software

No One does Formal Methods, right?