ten broad themes: Algorithms and Complexity Theory Artificial Intelligence and Machine Learning Automated Verification Computational Biology and Health Informatics Cyber Physical Systems Foundations, Structures, and Quantum Human-Centred Computing Information Systems Programming Languages Security Notable faculty the department employs 36 Professors. Nigel Shadbolt, Professor of Computing Samson Abramsky, Christopher Strachey Professor of Computing Tim Berners-Lee, Professor of Computer Science Richard Bird, Emeritus Professor Luca Cardelli, Royal Society Research Professor Bob Coecke, Professor of Quantum Foundations, Logics and Structures Nando de Freitas, Professor of Computer Science David Gavaghan, Professor of Computational Biology Jeremy Gibbons, Professor of Computing Leslie Ann Goldberg, Professor of Computer Science Georg Gottlob, Professor of Informatics Tony Hoare, Emeritus Professor Ian Horrocks, Professor of Computer Science Daniel Kroening, Professor of Computer Science Marta Kwiatkowska, Professor of Computing Systems Gavin Lowe, Professor of Computer Science Bill Roscoe, Professor of Computing Science Michael Wooldridge (computer scientist), Professor of Computer Science Marina Jirotka, Professor of Human Centred Computing History Starting in 1952, mathematician Charles Coulson sought funding for Oxford to own its own computer. At this time university members had to hire computer time from elsewhere. In 1956 the University Grants Committee decided to fund the purchase of a Ferranti Mercury and the Oxford University Computing Laboratory was born (shortened as OUCL or Comlab). As well as facilitating research elsewhere in the university, the new department had its own academic function, performing research in numerical analysis, and lecturing for mathematics and engineering students. The first director, Leslie Fox, was appointed in 1957 and the following year the department moved into its first home, 9 South Parks Road. In 1963 the department moved to 19 Parks Road. The Computing Services (From 2012 part of IT Services) was administratively split from the academic department in 1969, although complete independence was only gained in 1978. Complementing the Numerical Analysis Group (NAG), the Programming Research Group (PRG) was set up in 1966 at 45 Banbury Road under the leadership of Christopher Strachey with the aim "to bring some coherence into the present ad hoc nature of programming and software". After Strachey's untimely death in 1975, Tony Hoare took over leadership of the PRG in 1977 until his retirement in 1999 and introduced a computer science undergraduate degree programme at Oxford. The NAG and PRG groups operated mostly separately until 1984, when both of the laboratory's research groups moved into 8–11 Keble Road, opposite Keble College. However