HOME

TheInfoList



OR:

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 Applied science, practical discipli ...
department of the
University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...
, 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 publ ...
. 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 Software Engineering Programme is a centre for advanced education and applied research at the Department of Computer Science of the University of Oxford. It teaches the principles of modern software engineering, together with the tools, methods, ...
, 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 Sir Nigel Richard Shadbolt (born 9 April 1956) is Principal of Jesus College, Oxford, and Professorial Research Fellow in the Department of Computer Science, University of Oxford. He is Chairman of the Open Data Institute which he co-founded ...
, 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 profess ...
, 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 Bob Coecke (born 23 July 1968) is a Belgian theoretical physicist and logician who was professor of Quantum Foundations, Logics and Structures at Oxford University until 2020, when he became Chief Scientist of Cambridge Quantum Computing, and ...
, Professor of Quantum Foundations, Logics and Structures *
Nando de Freitas Nando de Freitas is a researcher in the field of machine learning, and in particular in the subfields of neural networks, Bayesian inference and Bayesian optimization, and deep learning. Biography De Freitas was born in Zimbabwe. He did his ...
, Professor of Computer Science * David Gavaghan, 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 Georg Gottlob FRS is an Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Oxford. Education Gottlob obtained his undergraduate and PhD ...
, 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 ...
, 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 lif ...
, Professor of Computer Science *
Marta Kwiatkowska Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom. Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Tri ...
, Professor of Computing Systems *
Gavin Lowe Gavin Lowe (born 1 March 1995 in Carluke) is a Scottish international 7s rugby union player at the Full Back position. Rugby union career Amateur career Lowe first played his rugby for Ayr Rugby but moved on to the Glasgow Hawks. He was ...
, Professor of Computer Science *
Bill Roscoe Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford. Educ ...
, Professor of Computing Science *
Michael Wooldridge (computer scientist) Michael John Wooldridge (born 26 August 1966) is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in syst ...
, Professor of Computer Science *
Marina Jirotka Marina Denise Anne Jirotka is professor of human-centered computing at the University of Oxford, director of thResponsible Technology Institute governing body fellow at St Cross College, board member of the Society for Computers and Law and a res ...
, 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 m ...
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 memory w ...
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, zoo ...
. 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 B ...
. 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 The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science, University of Oxford, Department ...
(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 ...
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 leads ...
, 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 ...
. 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 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 Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford. Educ ...
, 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 Oxford University Computing Services (OUCS) until 2012 provided the central Information Technology services for the University of Oxford. The service was based at 7-19 Banbury Road in central north Oxford, England, near the junction with Keble Ro ...
*
Programming Research Group The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science, University of Oxford, Department ...


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 Applied science, practical discipli ...
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 ...