Dr Geraint Jones’ research interests are in program derivation, that is in such techniques for writing computer programs as can automatically give high confidence that the programs meet design requirements. Consequently he is particularly interested in styles of programming where the programmer’s attention is concentrated on the result computed rather than the steps which a machine must follow.
One aim of this work is to reduce as far as possible the writing of programs to calculation (in the everyday mathematical sense of that word) of the answers to mathematically stated problems. These engineering techniques find their application particularly in areas where detection of subtle errors is notoriously complex and the costs of errors are extremely high, areas such as programming of parallel computers and the design of computer hardware.