Accessibility statement

Honorary and Emeritus

Rod Chapman
Honorary Visiting Professor

Interests

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
practice.

Career

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.

Photo

Contact details

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

E-mail: