The Department of Computer Science is the
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
department of the
University of Oxford
The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world's second-oldest university in contin ...
, England, which is part of the university's
Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. By 2014 the staff count was 52 members of academic staff and over 80 research staff. The 2019, 2020 and 2021 Times World University Subject Rankings places Oxford University 1st in the world for Computer Science. Oxford University is also the top university for computer science in the UK and Europe according to
Business Insider
''Insider'', previously named ''Business Insider'' (''BI''), is an American financial and business news website founded in 2007. Since 2015, a majority stake in ''Business Insider''s parent company Insider Inc. has been owned by the German pub ...
. The 2020 QS University Subject Rankings places The University of Oxford 5th in the world (with the
University of Cambridge
, mottoeng = Literal: From here, light and sacred draughts.
Non literal: From this place, we gain enlightenment and precious knowledge.
, established =
, other_name = The Chancellor, Masters and Schola ...
placing 6th) for Computer Science.
Teaching
From its foundation the department taught undergraduates reading for mathematics and engineering degrees, but in 1985 the department's first undergraduate course was established, in 'Mathematics and Computation', followed in 1994 by the 'Computation' course.
Initially these two courses had a common first year. 'Computer Science' replaced 'Computation' in the title of both courses for students starting their studies in 2000. Between 1987 and 2006 students started studies on a four-year (undergraduate) MEng in Engineering and Computing Science (now discontinued).
In October 2012 the first students of the 'Computer Science and Philosophy' started. Today students on all three undergraduate courses - 'Computer Science', 'Maths & Computer Science' and 'Computer Science & Philosophy' - have the choice between a 3-year BA or a 4-year 'undergraduate masters'. Sixty students began one of the three undergraduate courses in October 2013.
There are two full-time taught postgraduate courses: the MSc in Computer Science (approx 50 students total) and the MSc in Mathematics and the Foundations of Computer Science (MFoCS) (approx 15 students total).
The department also offers the part-time
Software Engineering Programme, a modular course for industry professionals, leading to either the MSc in Software Engineering (approx 240 students at present) or the M.Sc. in Software and Systems Security (approx 45 students at present).
Research
The department is home to around 145 academic and research staff.
The department's doctoral programme has over 140 research students (studying for a D.Phil. – the Oxford term for a
PhD) working across a wide range of subjects in computer science and software engineering.
After fifty years within the department, the Numerical Analysis group moved in 2009 to be part of
the university's Mathematical Institute.
[ Today the department's research is classified into 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
Samson Abramsky (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at the University of Oxford, from 2000 to 2021.
He has made contributions to t ...
, Christopher Strachey Professor of Computing
* Tim Berners-Lee
Sir Timothy John Berners-Lee (born 8 June 1955), also known as TimBL, is an English computer scientist best known as the inventor of the World Wide Web. He is a Professorial Fellow of Computer Science at the University of Oxford and a profe ...
, Professor of Computer Science
* Richard Bird, Emeritus Professor
* Luca Cardelli
Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. A ...
, Royal Society Research Professor
* Bob Coecke, Professor of Quantum Foundations, Logics and Structures
* Nando de Freitas, Professor of Computer Science
* David Gavaghan
David J. Gavaghan (born 10 February 1966) is Professor of Computational Biology in the Department of Computer Science at the University of Oxford. He is also the director of the Life Sciences Interface Doctoral Training Centre, Principal Investi ...
, Professor of Computational Biology
* Jeremy Gibbons
Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College a ...
, Professor of Computing
* Leslie Ann Goldberg, Professor of Computer Science
* Georg Gottlob, Professor of Informatics
* Tony Hoare
Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...
, Emeritus Professor
* Ian Horrocks
Ian Robert Horrocks One or more of the preceding sentences incorporates text from the royalsociety.org website where: is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research ...
, Professor of Computer Science
* Daniel Kroening
Daniel Kroening (born 6 November 1975) is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College.
Early life ...
, 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
Charles Alfred Coulson (13 December 1910 – 7 January 1974) was a British applied mathematician and theoretical chemist.
Coulson's major scientific work was as a pioneer of the application of the quantum theory of valency to problems of mo ...
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
The Mercury was an early commercial computer from the mid-1950s built by Ferranti. It was the successor to the Ferranti Mark 1, adding a floating point unit for improved performance, and increased reliability by replacing the Williams tube memo ...
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
South Parks Road is a road in Oxford, England. It runs east–west past the main Science Area of the University of Oxford. Many of the university science departments are located nearby or face the road, including parts of the geography, z ...
. In 1963 the department moved to 19 Parks Road
Parks Road is a road in Oxford, England, with several Oxford University colleges along its route. It runs north–south from the Banbury Road and Norham Gardens at the northern end, where it continues into Bradmore Road, to the junction with ...
. 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
Banbury Road is a major arterial road in Oxford, England, running from St Giles' at the south end, north towards Banbury through the leafy suburb of North Oxford and Summertown, with its local shopping centre. Parallel and to the west is the ...
under the leadership of Christopher Strachey
Christopher S. Strachey (; 16 November 1916 – 18 May 1975) was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing.F. J. Corbató, et al., ...
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
Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...
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
Keble Road is a short road running east–west in central Oxford, England. To the west is the southern end of the Banbury Road with St Giles' Church opposite. To the east is Parks Road with the University Parks opposite. Blackhall Road le ...
, opposite Keble College
Keble College () is one of the constituent colleges of the University of Oxford in England. Its main buildings are on Parks Road, opposite the University Museum and the University Parks. The college is bordered to the north by Keble Road, to t ...
. However the laboratory soon outgrew this space, and occupied space in 2 South Parks Road, until in 1993 the Wolfson Building opened behind the Victorian
Victorian or Victorians may refer to:
19th century
* Victorian era, British history during Queen Victoria's 19th-century reign
** Victorian architecture
** Victorian house
** Victorian decorative arts
** Victorian fashion
** Victorian literature ...
8–11 Keble Road houses.[ The neighbouring houses at 5–7 Keble Road and a new "e-Science building" behind these provided additional space upon opening in 2007. However this space is not sufficient, and the department has additional space within the Thom Building and the Robert Hooke building. As of 2014, the department is hoping to obtain funding for a new building large enough to bring together all its activities.]
From 2003 to 2014, the department was led by Bill Roscoe, who oversaw the 2011 renaming from the ''Oxford University Computing Laboratory'' to the ''Department of Computer Science, University of Oxford''.[ The current head is Leslie Ann Goldberg.][
]
See also
* Past and present members of the Department
* Oxford University Computing Services
* Programming Research Group
References
External links
*
{{Authority control
1957 establishments in England
Educational institutions established in 1957
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
Oxford University, Department of Computer Science
Oxford University
Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...