Dominic Orchard

By Dominic Orchard, Research Associate, Computer Laboratory, University of Cambridge and Institute Fellow. The need for more rigorous software verification in science is well known. The presence of software errors can seriously undermine results leading to paper retractions, bad policy decisions, and even catastrophic technological failures.  Often the responsibility is placed on the programmer, but simplify trying to be more careful is not enough. There is a wealth of research in computer science aimed at automating testing and verification, yet little of this has crossed over into practice…

By Dominic Orchard, Research Associate, Digital Technology Group and Cambridge Programming Research Group, Computer Laboratory, University of Cambridge and Software Sustainability Institute Fellow.

Much like natural languages, programming languages evolve over time: a new feature is added, an existing feature is removed or modified, ambiguous parts of a specification are made clear, and so on. These evolutionary changes may be due to external factors such as new hardware, new theory or foundational research, trends or fashions in languages, and applications; internal factors such…

Subscribe to Dominic Orchard