This was Colin Runciman’s machine. It is an Orion super-minicomputer made by High Level Hardware in Oxford. He bought it originally for our work on the STARship project, funded by SERC (the former name of EPSRC).  The aim was to develop new methods and tools for the Specification, Transformation And Reuse of software. This project was in the late 1980s.

Colin chose the Orion because it was microcodeable: it was possible to customise the way the machine worked by encoding specialised instructions close to the hardware level. It used the logic-programming language Prolog for the software tools.  

Researchers at Cambridge had developed a translation of Prolog into a compact code for a virtual (or imaginary) machine. Orion engineers developed a microcoded implementation of the machine, making their Prolog system 10x faster than its rivals.

Alas, in a subsequent "upgrade" of these machines, the microcodeable processor was replaced by a simpler and faster (but not 10x faster!) RISC processor.

Funding from grants typically lasts 3 years. Each time a grant is won, most often the computers used in research are bought. The research areas that involve hardware development or high performance computing are typically built in the Department to make interesting computer systems.  Computer Science at York has always had a very strong reputation for research.