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.
E-mail: Send e-mail using web form