Institute of Computer Science
||This college or university article may require cleanup to meet Wikipedia guidelines for college and university articles. (May 2011)|
|University of London Institute of Computer Science|
|Location||44-45 Gordon Square London, United Kingdom|
The University of London Institute of Computer Science (ICS) was an Institute based in London in England. The Institute was founded by the University of London to support and provide academic research, postgraduate teaching, computer services and network services. It was founded at some point in the 1960s and dissolved in 1974.
[Its status as a pioneer institution serving research, teaching and computing services has not been widely recognised. This entry is only the beginning of a description. The Institute deserves a full history which should preferably be written while many of its staff and graduates are still alive.]
The date of foundation is not clear but the Institute appears to have already existed in 1962 when John Buxton  became a lecturer at the Institute. It was dissolved in 1974 and its Director moved to Birkbeck College. Some of the material in this description of the institute is derived from a history of the School of Computer Science & Information System at that college 
The Institute staff included, at various times –
John Buxton 
George Coulouris - moved to Imperial College in 1965 and to QMC in 1971
Jean Dollimore 
Peter Higginson (see below Research, Higginson & Kirstein)
Bryan Higman (see below, Research)
David Howarth 
Eric Nixon (see Research, Software Firsts Change Ringing, below)
Anthony Ralston (Tony) 
John Washbrook 
David Barton - moved to QMC in 1974, became head of Computer Science and Statistics Dept. (now deceased)
Michael Clarke - moved to QMC in 1974, became head of Computer Science and Statistics, (now deceased).
Following the dissolution of the ICS staff moved to a number of other institutions-
- Birkbeck: Professor/Director of ICS: Dick Buckingham (now deceased)
- QMC: Jean Dollimore, David Barton, Michael Clarke, George Coulouris (via Imperial)
- UCL: Peter Kirstein (now emeritus professor), John Washbrook (now emeritus professor), Peter Higginson
- Imperial College: Dave Howarth (later Professor), Mike Bernal, George Coulouris (later QMC)
- Kings College: Alan Fairbourn
- UEA: Dick Housden - Professor
- Barnett had already returned to the U.S., where he later became a Professor of Library Science at Columbia University, and then Professor of Computer and Information Science at City University of New York.
The Institute conducted research in computer systems and applications.
Publications by staff and students include – [In the list below all publications are published papers unless otherwise specified. “Comp J” is the Computer Journal of the British Computer Society (BCS)] –
- Coulouris, G.F.; Goodey, T.J.; Hill, Roberta W.; Keeling, R.W; Lewin, D. (1968). "The London CPL1 Compiler". Comp J (BCS).
- Higman, Bryan (1967-1977). A comparative study of programming languages. Macdonald and Jane's. ISBN 978-0-354-04068-6.
- Housden, R J W (1969). "A note on list-processing in BCL". Comp J (BCS).
- Bird, Richard (1974). "On transformations of programs". Journal of Computer and System Sciences 8 (1): 22–35. doi:10.1016/S0022-0000(74)80020-6.
- Housden, R J W (1969). "The definition and implementation of Lsix in BCL". Comp J (BCS).
- Higman, Bryan (1967). "Paging and segmentation [letter]". Comp J (BCS).
- Hendry, D F; Samet, P A (1969). "Towards FORTRAN VI? Part 2. FORTRAN in the Modern World". Comp J (BCS). doi:10.1093/comjnl/12.3.218.
- Nixon, Eric. "Software Firsts (change ringing)".
- Paige, СС (1972). "Computational Variants of the Lanczos Method for the Eigenproblem". J. Inst. Maths Applics.
- Dollimore, Jean (1966). "A General Fourier Synthesis Program for the London University Atlas Computer". Comp J (BCS). doi:10.1093/comjnl/8.4.347.
- Mitra, G.; Wolfenden, K. (1968). "A Computer Technique for Optimizing the Sites and Heights of Transmission Line Towers—a Dynamic Programming Approach". Comp J (BCS) 10 (4): 347. doi:10.1093/comjnl/10.4.347.
Ph.D. degrees were awarded to Barnett's graduate students
- John Michael Gerard, Synthesizing non-linear forms from linear descriptions by syntactic analysis, July 1965.
- Arthur William Charles Sambles, On the mechanization of algebraic manipulation by digital computer, July 1965.
To expedite their work, Gerard and Sambles were sent to MIT, to work with Barnett for several months before his return to England, and published several papers with the MIT Cooperative Computing Laboratory as joint affiliation. These included two of the earliest papers that reported the production of built up mathematical formulas, constructed by symbolic calculation, and recorded using computer typesetting software. Gerard and Sambles went on to CERN to work on the mechanized detection of particle events.
The Master of Science (M.Sc) in Computer Science of the Institute was one of the first courses in the subject. Barnett also ran informal courses, at the Institute and at the London College of Printing, to explain computer typesetting to officials of the trade unions concerned with the printing industry.
A number of distinguished software and hardware engineers and scientists taught and supervised the M.Sc. and Ph.D degrees awarded by the Institute (see Staff above). Prominent graduates of the Institute include – Michael Newman, Professor of Information Systems, Manchester Business School , Nick Fiddian, Professor and Head of Department of Computer Science, Cardiff University,  and Gautam Mitra, OptiRisk Systems Ltd, Professor of Computational Optimisation, Brunel University, 
Computer Services 
The Institute provided early mainframe computer services on an Atlas computer, as the University of London Atlas Computing Service. The Atlas Computer (Manchester) was an early transistor machine and only three ever existed. A number of pioneering programmes were developed on the ICS Atlas including the CPL1 Compiler, A General Fourier Synthesis Program, A Computer Technique for Optimizing the Sites and Heights of Transmission Line Towers and even an early work in computing for English Change Ringing. All of these are described in papers under Research above. When the Institute closed, services were taken over by the University of London Computer Centre (ULCC)  although ULCC did initially run in parallel with the Atlas service.
The Institute provided batch and interactive communications. The main services were the first UK Arpanet node and Remote Job Entry (RJE) to the IBM 360/195  at the Rutherford Laboratory in Oxfordshire. The Arpanet node was the first in Europe and is therefore the first place where what became the Internet was available in Europe. The RJE using a Digital Equipment Corporation PDP-9 emulating an IBM 1130 (presumably a HASP workstation) was the first remote user of the 360/195,
- Campbell-Kelly, Martin (2009-11-12). "Obituary John Buxton". Guardian (London). Retrieved 2009-11-12.
- "Birkbeck, University of London, School of Computer Science & Information Systems, A Short History".
- Scientist back from U.S., The Times, Wednesday, March 25, 1964, page 10.
- "Richard A. BUCKINGHAM (1911 - 1994)".
- Campbell-Kelly, Martin (2009-11-12). "John Buxton". The Guardian (London).
- "Jean Dollimore".
- "David Howarth".
- "Anthony (Tony) Ralston".
- "John Washbrook, Emeritus Professor of Computer Science, University College London".
- I. G. Izsak, J. M. Gerard, R. Efimba and M. P. Barnett, Construction of Newcomb operators on a digital computer, Research in Space Science Special Report Number 140, Smithsonian Institution Astrophysical Observatory, Cambridge, Mass, 1964.
- J. M. Gerard, I. G. Izsak and M. P. Barnett, Mechanization of tedious algebra --- the Newcomb operators of planetary theory, Communications of the Association for Computing Machinery, 8, 27, 1965.
- Michael P. Barnett, Computer typesetting, experiments and prospects, MIT Press, Cambridge, Mass. 1965.
- M. P. Barnett, The information explosion, Nature, 203, 585, 1964.
- Samet, P. (1998). "The Evolution of Computer Science Teaching and Research in the UK". Proc. Computers in Europe: Past, Present and Future.
- "A brief history of ULCC".
- "IBM 360/195".
- "LONDON NODE IS NOW UP".
- "Rutherford Laboratory Annual Report 1973 Computing Services".