Accessibility statement

All Staff

Rod Chapman
Honorary Visiting Professor


Safety- and Security-Critical Systems. Programming language design and
static verification technologies. Formal methods and their application in
software development. Personal behaviour and discipline in programming


Rod graduated from York with an MEng in 1991 and then a DPhil in 1995. He joined Praxis and rose from graduate to principal engineer in 19 years with the company. During that time, he worked on several high-profile projects, and led the team responsible for the SPARK programming language and verification tools. He is also an SEI-trained and certified PSP Instructor.

In 2014, Rod became a fully independent consultant, specializing
in all aspects of high-integrity software development.

In September 2022, Rod joined AWS.


Contact details

Department of Computer Science
University of York
Deramore Lane
YO10 5GH