AdaCore Blog

Roderick Chapman

Roderick Chapman

Rod is a senior engineering consultant with AdaCore. He specializes in the design, implementation and verification of high-integrity software systems. For many years, Rod led the SPARK design team at Praxis and Altran in the UK, and continues to work closely with the SPARK team at AdaCore.

1 entries written by Roderick Chapman