Rod is a Principal Engineer with Altran UK in Bath, specializing in the design and construction of high-integrity software systems. For many years, he led the programming language design and verification tools group at Altran, and has taught high-integrity software process and technology to teams all over the world. Recently, he's been trying to work out how to merge traditional high-integrity software process with the best that the Agile, Formal Methods, and Lean communities have to offer. In spare time, Rod practises Jiu Jitsu and Triathlon, although usually not both at the same time.