Date of birth 12th March 1937, British citizen, married, three children.

University Education

• 1956-59: University of Nottingham, B Sc Mathematics, Specialising in Mathematical Logic with additional courses in electronics.
• 1959-62: University of Nottingham, Ph D in Mathematics and Electronics, Thesis title "The Design, Construction and Use of Logical Computers". A computer was constructed, and used to solve various logical problems, including the determination of all 4-variable formulae corresponding to Universal Decision Elements, the determination of all 3-valued Sheffer functions, and starting to study the application of logic to the design of railway signalling systems.

Full-time Appointments held

• 1955-56: Paint Research Station, Teddington, Research Assistant.
• 1958 July-Sept: Ericssons (now GPT/Plessey), Beeston, Digital Electronics Trainee.
• 1960-67: University of Nottingham, Mathematics Department, Lecturer.
• 1967-74: University of Nottingham, Cripps Computing Centre, Director of Computing.
• 1974-86: University of Nottingham, Mathematics Department, Senior Lecturer, Computing Science Group.
• 1986-1997: Joint Senior Lecturer, University of Nottingham, Mathematics and Computer Science Departments.
• 1997-present: Associate Senior Lecture, University of Nottingham, School of Computer Science and Information Technology.

Secondments/visits for up to six months each

• 1967: Visiting Professor, Institute for Advanced Studies (Institut fur Hohere Studien), Vienna, Austria. Advise on Numerical Analysis techniques.
• 1968: Discussions on the ARPA net at Bolt Beranak and Newman, Cambridge, Mass, USA.
• 1969: Copenhagen, Denmark, Senior tutor on NATO Advanced Summer School.
• 1973: USA, Argonne National Lab (Chicago) and Lawrence Livermore Lab (CA) to discuss implementation of the NAG library.
• 1975: Visiting Lecturer, Mathematics Department, University of Dar Es Salaam, Tanzania. Set up MSc course in Computer Science.
• 1975: Visiting Professor, University of Khartoum, Sudan. Advice on setting up National Computing Centre.
• 1979: Visiting Professor, Department of Computer Science, Institute for Statistical and Scientific Research, University of Cairo, Giza, Cairo, Egypt. Advise on Computer Science M Sc course.
• 1981: Visiting Professor, Computing Centre, University of Cairo. Computing Centre Performance Study.
• 1981: Visit to IRCAM laboratory, Paris, France, in connection with music analysis.
• 1983: Visiting Professor, Music Analysis, Oklahoma State University, USA. Lectures on Music Analysis.
• 1983: Visit to major oil companies in USA to discuss computer performance prediction.
• 1983: Visiting Professor, Computer Science Department, Victoria University, Vancouver, Canada. Lecture on Pascal Summer School.
• 1984: Visiting Professor, Mathematics Department, University of Kuwait. To give a number of seminars.
• 1984: Nominated for USA Mid and Southern Universities Association Honor Lecture Series.
• 1986: Visiting Professor, Department of Electronics and Computer Science, Faculty of Technology and Engineering, M S University of Baroda, Baroda, Gujarat, India. Courses on Unix and C for the Indian Institution of Engineers.
• 1988: Visiting World Bank Consultant, University of Liaioning, Shenyang, Liaioning, Peoples Republic of China. Curriculum advice, and courses including Software Engineering.
• 1990: Visiting Professor, Department of Computer Science, ISSR, University of Cairo, Egypt. Course on Formal Specification.
• 1991 March: Visiting Fellow, Department of Applied Mathematics, Faculty of Technology and Engineering, M S University of Baroda, Baroda, Gujarat, India. Courses on Formal Specification and Software Engineering.
• 1991 June: World Bank International Advisory Panel Computer Consultant. Academic Audits of University Computing Centres and Computer Science Departments in North China.
• 1991 Sept: Visiting Fellow, National University of Malaysia. Lectures on Applied Logic and Software Quality Testing.
• 1991 Sept: World Bank International Advisory Panel Computer Consultant. Academic Audits of University Computing Centres and Computer Science Departments in South China, and government meetings concerning introduction of the InterNet to China.
• 1992 July: Visiting Fellow. Visiting various universities in Beijing to give talks on Formal System Specification.
• 1993 Sept: Visiting Fellow. Installing software and giving talks in Hebei University (Baoding), Beijing and Tianjin.
• 1995 April: British Trade Mission, Macao and South China Special Economic Zone.
• 1995 Oct: Visiting Fellow, Universiti Kebangsaan Malaysia. Curriculum and research discussions.
• 1995 Nov: Visiting Fellow, Maths and Science Centre, Ngee Ann Polytechnic, Singapore. Installation of software and research discussions.
• 1996 Sep: Visiting Fellow, Maths and Science Centre, Ngee Ann Polytechnic, Singapore. Installation of WWW version of Ceilidh.

External Examining

• I have been undergraduate external examiner in Computer Science at University College of Swansea, University College of Aberystwyth, University of Leicester, University of Keele, University of Bristol, Nottingham Trent University.
• I have been external examiner for MSc by examination at Aberystwyth, Brighton University, Cairo University, Dar es Salaam University.
• I have been external examiner for a number of Ph Ds including ones at Oxford, London, Liverpool, Leicester, St Andrews, Keele and Loughborough, and some M Phil degrees.

Books

• A First Course in Algol 60, Addison Wesley joint with Dr Neave, Dr Grayshon (Education Dept) and ICL (1968, reprinted 1969)
• Unix for Super-Users, Addison Wesley, October 1985, second printing May 1986, third printing 1987 etc. Also Unix fur Super-User, German translation of the above, Internationale Computer Bibliothek, 1987, Italian and Japanese translations were produced.
• Logic and its Applications, Prentice-Hall International, 1996, jointly with Dr E K Burke.

Industrial teaching

• The Unix system: courses for beginners, courses for advanced users, management overviews.
• Software Tools in Unix.
• Systems administration in Unix.
• The Unix kernel and Device drivers.
• C programming: courses for beginners, courses in advanced programming, C in a Unix environment, programming for co-operating processes.
• Unix system performance.
• Unix system security.

Go to details of papers