Gems of Geometry

Mr Barnes' principal achievements have been in the area of computer programming language design. He designed the language RTL/2 whilst with ICI. This was widely used in the 1970s and 80s for process control in the UK, the Netherlands and South Africa. It still lingers in use in a number of systems (eg the Thames Barrier). He was a member of the Ada language design teams. Ada is widely used in safety critical applications such as those found in defence systems generally, avionics, air traffic control and railroad signalling. He has published eight books: RTL/2 Design and Philosophy, Heyden, 1976. Programming in Ada, Addison-Wesley, 1982. Programming in Ada 95, Addison-Wesley, 1996. High Integrity Ada, Addison-Wesley, 1997. Ada 95 Rationale, Springer-Verlag, 1997. High Integrity Software, Addison-Wesley, 2003. Programming in Ada 2005, Addison-Wesley, 2006. Ada 2005 Rationale, Springer-Verlag, 2008. Programming in Ada went through four editions and was translated into six other languages. Revised versions are entitled Programming in Ada 95 and Programming in Ada 2005. Combined total sales of these books are over 150, 000. Mr Barnes has given many lectures and tutorials on various aspects of programming. Although moving towards retirement he still gives occasional lectures including lectures for postgraduate courses at the University of York. He has published many papers, this list gives just two from his early career in ICI, a milestone paper when Ada emerged, and a pair of recent reflective papers. An algorithm for solving non-linear equations based on the secant method, The Computer Journal, vol 8, no 1 (April 1965). A KDF9 Algol list-processing scheme, The Computer Journal, vol 8, no 2 (July 1965). An overview of Ada, Software Practice and Experience, vol 10, pp851-887 (1980). Half a century of programming and not much progress, Software Focus, vol 2, no 1 (2001). Half a century of programming and a spark of light, Software Focus, vol 2, no 2 (2001). Recently, he has rediscovered an interest in mathematics and has given a number of courses at the University of Reading as part of their Continuing Education program.