Published papers and general biodata

Other travel documents

Europe

Africa

India

China

Singapore

USA

Holidays

Journal papers

• 1960 Testing the Independence of a System of Axioms using a Logical Computer, Proceedings of the Cambridge Philosophical Society, Vol 57, p 443, 6 pp.
• 1962 The Determination of all Sheffer Functions in 3-valued Logic, Notre Dame Journal of Formal Logic, Vol 3, p 41, 10 pp.
• 1964 The Determination of the set of all 4-variable formulae corresponding to Universal Decision Elements, Zeitschrift fur Mathematische Logik, Vol 10, p 302, 13 pp. 1968 Programming Problems in Mathematical Logic, BIT Vol 8, p 104, 18 pp.
• 1968 The Implementation of Syntax Analysis using Algol, Computer Journal, Vol 10, p 325, 10 pp.
• 1968 The Construction of Examination Tables by Computer, Computer Journal, Vol 11, p 264, 5 pp.
• 1969 A Meta-Semantic Language for use with a Top-Down Analyser, with P R King, IFIP Congress
• 1968, p 366, 7 pp. 1975 Progress with an Algol 68 Numerical Algorithms Library, Proc Fifth Manitoba Conf on Numerical Mathematics,
• 1975, 10 pp. 1978 A Hybrid Computer Performance Modelling System, with M S Ali, Computer Journal, Vol 21, p 205, 5 pp.
• 1978 Monitoring the Run-time Activity of Algol 68 Programs, with D Morgan, Software Practice, Vol 8, p 29, 6 pp.
• 1978 Programming Aids for the Teaching of Programming, Software Practice, Vol 8, p 213, 13 pp.
• 1979 Improving the understanding of BASIC programs, with H C Williams, International Journal of Math Educ Sci Tech, Vol 10, p 537, 8 pp.
• 1980 Technique for Generation of Simulated Workload, with M S Ali, Journal of Computer Performance, Vol 1, p 37, 4 pp.
• 1980 Simulation of Computer Workloads, 10-th Annual Computing Science Conference, University of Cairo.
• 1981 Music Analysis by Computer, IUCC Journal, Vol 3, No 1, p 31, 4 pp.
• 1981 Validation of an Analytic Model of Computer Performance, with O Salman, Computer Journal, Vol 24, No 4, November 81, pp 347-352
• 1987 A Flexible Synonym Interface with Application Examples in CAL and HELP environments, with G M Gwei, Computer Journal Vol 30 No 6, p 551
• 1987 MUSIC A Language for Typesetting Music Scores, Software - Practice and Experience Vol 17(8) p 485-582.
• 1989 Synonomy and Contextual Disamgiguation of Words, with G M Gwei, Int Jnl Lexicography Vol 2 No 2.
• 1990 Towards a consultative on-line help system, with G M Gwei, Int Jnl Man-Machine Studies Vol 32, 363-383.
• 1990 A Syntactic & Morphological Analyser for Arabic Words, with Allel Feddag, Proceeding of the Second International Conference on Computing in Arabic-English, Cambridge University UK.
• 1990 Concepts and Issues in Multi-lingual Word Processing, with Allel Feddag, Proceeding of the Second International Conference on Computing in Arabic-English, Cambridge University UK.
• 1990 Front-end Databases for Arabic and English, with Allel Feddag, International Journal of Processing Arabic, Issue 8.
• 1990 Front-end Dictionary for Arabic, with Allel Feddag, Journal of Applied Computer Translation, Vol 1 No 2.
• 1991 Synonym Manipulation in a Concept based Environment, with G M Gwei, International Journal of Man-Machine Studies.
• 1993 S.D.Benford, E.K.Burke and E.Foxley, Learning to Construct Quality Software with the Ceilidh System, Software Quality Journal 2(2), September
• 1993, pages 177-197. 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Early Experiences of Computer Aided Assessment and Administration when Teaching Computer Programming, Association for Learning Technology Journal Vol.1 No.2, pages 55-70.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Ceilidh as a Course Management Support System, Journal of Educational Technology Systems Vol.22, No.3, pages 235-250.
• 1994 Steve Benford, Edmund Burke, Eric Foxley, Colin Higgins, Abdullah Mohd Zin, Software Support for the Automated Assessment and Administration of Computer Programming Courses (in Russian), to appear in the East West Journal on Computers in Education.
• 1994 Steve Benford, Edmund Burke, Eric Foxley, Neil Gutteridge, Abdullah Mohd Zin, Software Support for Automated Assessment and Administration, to appear in the Journal of Research on Computing in Education.
• 1994 STAMS -- A Simple Text Automatic Marking System, with B. Lou, Artificial Inteligence and Simulation of Behaviour 94 conference for "Computational Linguistics for Speech and Handwriting Recognition" workshop in Leeds University, England. 12th April 1994.
• 1994 Analyse - An Automatic Program Assessment System, with Abdullah Modh Zin, Malaysian Journal of Computer Science Vol 7, p 123.
• 1995 ZFDSS: A formal development support system based on the liberal approach, with Abdullah Modh Zin, Malaysian Journal of Computer Science Vol 8.
• 1995 Software Tools for Animating a Z Specification, with Abdullah Mohd Zin, Sains Malaysiana Vol 24, No 4, Dec 1995, p 67 p 161, Dec 1995.

Conference Papers

• 1971 Efficient University Computing, British Computer Society Datafair, UK.
• 1976 A Carefully Computerised Examination System, with A N Walker, IUCC Colloquium, St Andrews, Scotland.
• 1977 Run-time Profiling of Algol 68-R, with D Morgan, Algol 68 Conference, Strathclyde, Scotland.
• 1977 Aids for Teaching Algol 68, written in Algol 68, IUCC Colloquium, Norwich, UK.
• 1980 Harmonisation and Classification of Folk Music, IUCC Colloquium, Exeter, UK.
• 1980 Computer Workload Simulation, Biennial Egyptian Conference on Computer Science and Statistics, Cairo, Egypt.
• 1981 Harmonisation of Melodies by Computer, Symposium Informatique et Musicologie, Paris, France.
• 1984 The Use of Hybrid Models in Examining Scheduling Strategies, with M S Ali, Pittsburgh Conference on Modeling and Simulation, USA.
• 1987 music : a language for describing music scores, UK Unix User Group Winter Conference, London, UK.
• 1987 Improved Natural Language Models for Consultative Computing, with G M Gwei, UK Unix User Group Summer Conference, Newcastle, UK.
• 1990 A Syntactic and Morphological Analyser for Arabic Words, with Allel Feddag, International Conference on Bi-lingual Computing, Cambridge, UK.
• 1990 Concepts and Issues in Multilingual Word Processing, with Allel Feddag, International Conference on Bi-lingual Computing, Cambridge, UK.
• 1991 Automatic Program Quality Assessment, with A M Zin, National Workshop on CASE Tools (IFIP and CSI), Sadar Patel University, Vidyanagar, Gujarat INDIA.
• 1991 An Intelligent Lexical Analyser for Arabic, with Allel Feddag, 13th Research Conference on Information Retrieval, Lancaster University UK.
• 1992 S.D.Benford, E.K.Burke and E.Foxley, Courseware to Support the Teaching of Programming, Proceedings of the Conference on Developments in the Teaching of Computer Science, University of Kent, 6th-8th April
• 1992, pages 158-166.
• 1992 S.D.Benford, E.K.Burke and E.Foxley, Conciousness Raising Through Automated Assessment, Proc. Open University's 2nd Workshop in the series, Directions for Computer Science Education in the Nineties: "Using technology to Deliver the Curriculum", The Open University, 30th June 1992. 1
• 993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, The Ceilidh Courseware System, Proceedings of the International Conference on Computer Technologies in Education (ICCTE'93), Kiev, Ukraine, September 14th-17th 1993.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, An overview of the Ceilidh system, Proceedings of the All Ireland Conference on the Teaching of Computing, Dublin City University, 8th-10th September 1993, pages 32-35.
• 1993 S.D.Benford, E.K.Burke and E.Foxley, Integrating Software Quality Assurance into the Teaching of Programming, to appear in Proc. of CSR
• 1993 Workshop on Industrial Applications of Software Metrics and Quality Assurance Techniques, Amsterdam 29th Sept 1st Oct 1993.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Ceilidh: A Course Administration and Marking System, Proceedings of the International Conference of Computer Based Learning in Science, Vienna, 18th-21st December 1993, pages 364-372.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, Experiences with the Ceilidh System, Proceedings of the International Conference of Computer Based Learning in Science, Vienna, 18th21st December 1993, pages 530-537.
• 1993 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and A.M.Zin, CEILIDH A Management Marking System, Collected Papers of the Heads of Computing in Ex-Polytechnics Conference on Assessment in Higher Education Computing, York, June 1993.
• 1993 S.D.Benford, E.K.Burke, E.Foxley N.Gutteridge and A.M.Zin, The Ceilidh Courseware System, invited paper for the CTI Conference on Current Issues in the Teahing of Computing, University of Salford, 6th March 1993.
• 1994 S.D.Benford, E.K.Burke, E.Foxley, C.A.Higgins, Ceilidh: A Courseware System for the Assessment and Administration of Computer Programming Courses in Higher Education, Proceedings of the Interdisciplinary Workshop on Complex Learning in Computer Environ- ments, University of Joensuu, Finland, May 16th-19th 1994, pages 143-148.
• 1994 S.D.Benford, E.K.Burke, E.Foxley, N.Gutteridge and C.A.Gibbon, A Course Administration System for Remote Access, Proceedings of the XXIX Annual International Conference of the Association for Educational and Training Technology, Napier University Edinburgh, 11th- 13th April 1994.
• 1994 S D Benford, E K Burke, E Foxley, Teaching Programming to Software Quality Standards, Proceedings of the Conference of Computer Aided Learning in Engineering, University of Sheffield, 5-7 Sept 1994, pages 135-148.
• 1994 S D Benford, E K Burke, E Foxley, A M Zin, C A Higgins, Software Quality Assessment in Ceilidh, to appear in the Proceedings of the 2nd East-West International Conference on Computer Techno logies in Education Vol. 1, Crimea, Ukraine, 19-23 Sept 1994, pages 2228.
• 1994 S D Benford, E K Burke, E Foxley, N H Gutteridge, C A Gibbon, Observations on the Impact of the Ceilidh System on the Teaching of Computer Programming, to appear in the Proceedings of the Second All Ireland Conference on the Teaching of Computing, Dublin City University, September 1994.
• 1994 S D Benford, E K Burke, E Foxley, C A Higgins, Ceilidh: A Management System for the Administration and Assessment of Computer Pro- gramming Courses, to appear in the Proceedings of the International Conference on Computer-Assisted Education and Training in Developing Countries, Johannesbourg, South Africa, 17-21 October 1994.
• 1994 S D Benford, E K Burke, E Foxley, A M Zin, C A Higgins, Software Quality Assessment in Ceilidh, invited paper for the CTI Conference on Current Developments to Support the Teaching of Computing, University of Salford, 22nd April 1994.
• 1994 S D Benford, E K Burke, E Foxley, A Multi-subject Intelligent Student Assessment System, to appear in the Proceedings of the Second Singapore International Conference on Intelligent Systems (SPICIS 94), 14th-17th November 1994.
• 1995 A M Zin, E Foxley, A System for reparing a Formal Specification, ICECS'95, Amman Jordan (17-21 Dec 1995)

Internal Reports

• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Teacher Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Course Developer Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Tutor Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Student Guide to the CEILIDH system, LTR Report, Computer Science Dept, Nottingham University.
• S.D.Benford, E.K.Burke and E.Foxley, C.A.Gibbon, N.Gutteridge and A.M.Zin, Design Document for Ceilidh, LTR Report, Computer Science Dept, Nottingham University.
• E.Foxley, Abdullah Mohd Zin, The "Oracle" Program, LTR Report, Computer Science Dept, Nottingham University.

Books

• A First Course in Algol 60, Addison Wesley joint with Dr Neave and Dr Grayshon (Education Dept) and ICL (1968, reprinted 1969), a programmed text.
• Unix for Super-Users, Addison Wesley, October 1985, second rinting May 1986, third printing 1987 etc. Also Unix fur Super-User, German translation of the above, Internationale Computer Bibliothek, 1987, and Italian and Japanese translations in print.
• 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.

University Education

• 1956-59: University of Nottingham, B Sc Mathematics, Specialising in Mathematical Logic with additional non-examined 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, and the determination of all Sheffer functions in 3-valued logic.

Full-time Appointments held

• 1955-56: Paint Research Station, Teddington, Research Assistant.
• 1958 July-Sept: Ericssons (now GPT/Plessey), Beeston, Digital Electronics Trainee.
• 1960-62: University of Nottingham, Mathematics Department, Tutorial Assistant
• 1962-67: University of Nottingham, Mathematics Department, Lecturer.
• 1967-73: University of Nottingham, Cripps Computing Centre, Director of Computing.
• 1973-86: University of Nottingham, Mathematics Department, Senior Lecturer, Computing Science Group.
• 1986-1998: Joint Senior Lecturer, University of Nottingham, Mathematics and Computer Science Departments.
• 1998-2003 Part-time lecturer, University of Nottingham, Computer Science Department.

---

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.
• 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, Ngee Ann Polytechnic, Singapore. Installation of software and research discussions.

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.

Other travel documentss

Europe

Africa

India

China

Singapore

USA

Holidays