Jump to content

Department of Computer Science, University of Oxford: Difference between revisions

Coordinates: 51°45′35″N 1°15′30″W / 51.7597°N 1.2584°W / 51.7597; -1.2584
From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
Line 14: Line 14:
| head_label = Head of Department
| head_label = Head of Department
| head = Michael Wooldridge
| head = Michael Wooldridge
| academic_staff =
| academic_staff =
| research_staff = 80
| administrative_staff =
| administrative_staff =
| students = 350
| students =
| undergrad = 160
| undergrad =
| postgrad = 50
| postgrad = 50
| doctoral = 140
| doctoral = 140

Revision as of 09:33, 17 October 2015

Oxford University, Department of Computer Science
Former names
Computing Laboratory
Established1957 (1957)
Parent institution
University of Oxford
Head of DepartmentMichael Wooldridge
Academic staff
52
Students871
Undergraduates681
Postgraduates50
140
Location
Oxford
,
United Kingdom
Websitewww.cs.ox.ac.uk
Department of Computer Science, University of Oxford is located in Oxford city centre
Department of Computer Science, University of Oxford
Location of the department within central Oxford

The Department of Computer Science is the computer science department of the University of Oxford, England. It was founded in 1957 as the Computing Laboratory. Today[quantify] its employs 52 members of academic staff and over 80 research staff.[1]

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.[2] Initially these two courses had a common first year.[3] 'Computer Science' replaced 'Computation' in the title of both courses for students starting their studies in 2000.[4] Between 1987 and 2006 students started studies on a four-year (undergraduate) MEng in Engineering and Computing Science.[2][5][6][7] In October 2012 the first students of the 'Computer Science and Philosophy' started. Today[quantify] students on all three courses have the choice between a 3-year BA or a 4-year 'undergraduate masters'.[8] Sixty students began one of the three undergraduate courses in October 2013.[9]

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).[10]

Research

The Department is home to around 145 academic and research staff.[10] 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.[11][12] Today[quantify] the department's research is classified into eight broad themes:[13]

  • Algorithms
  • Automated Verification
  • Computational Biology
  • Foundations, Logic and Structures
  • Information Systems
  • Programming Languages
  • Security
  • Software Engineering

Senior Academic Staff: Professors

As of 2015 the department employs 36 Professors.[14]

  1. Samson Abramsky, Christopher Strachey Professor of Computing
  2. Michael Benedikt, Professor of Computing Science
  3. Richard Bird, Emeritus Professor
  4. Kevin Burrage, Professor in Computational Systems Biology
  5. Luca Cardelli, Royal Society Research Professor
  6. Bob Coecke, Professor of Quantum Foundations, Logics and Structures
  7. Sadie Creese, Professor of Cybersecurity
  8. Jim Davies, Professor of Software Engineering
  9. Nando de Freitas, Professor of Computer Science
  10. Oege de Moor,[15] Professor of Computer Science
  11. David Gavaghan, Professor of Computational Biology
  12. Jeremy Gibbons, Professor of Computing
  13. Leslie Ann Goldberg, Professor of Computer Science
  14. Paul Goldberg, Professor of Computer Science
  15. Georg Gottlob, Professor of Informatics
  16. Ralf Hinze,[16] Professor of Software Engineering
  17. Tony Hoare, Emeritus Professor
  18. Ian Horrocks, Professor of Computer Science
  19. Peter Jeavons, Professor of Computer Science
  20. Marina Jirotka, Professor of Human Centred Computing
  21. Elias Koutsoupias, Professor of Computer Science
  22. Daniel Kroening, Professor of Computer Science
  23. Marta Kwiatkowska, Professor of Computing Systems
  24. Gavin Lowe, Professor of Computer Science
  25. Thomas Lukasiewicz, Professor of Computer Science, Yahoo! Research Fellow
  26. Ursula Martin,[17] Professor of Computer Science
  27. Tom Melham, Professor of Computer Science
  28. Boris Motik,[18] Professor of Computer Science
  29. Luke Ong,[19] Professor of Computer Science, Director of Graduate Studies
  30. Joel Ouaknine,[20] Professor of Computer Science
  31. Stephen Pulman, Professor of Computational Linguistics
  32. Blanca Rodriguez, Professor of Computational Medicine, Wellcome Trust Senior Research Fellow in Basic Biomedical Sciences
  33. Bill Roscoe, Professor of Computing Science
  34. Michael Wooldridge,[21] Head of Department of Computer Science, Professor of Computer Science
  35. James Worrell,[22] Professor of Computer Science
  36. Hongseok Yang,[23] Professor of Computer Science

History

Starting in 1952, mathematician Charles Coulson[24] sought funding for Oxford to own its own computer.[2] At this time university members had to hire computer time from elsewhere.[2] In 1956 the University Grants Committee decided to fund the purchase of a Ferranti Mercury and the Oxford University Computing Laboratory was born[2] (shortened 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.[25] The first director, Leslie Fox,[26][27] was appointed in 1957 and the following year the department moved into its first home, 9 South Parks Road.[25] In 1963 the department moved to 19 Parks Road.[28] The Computing Service (today[quantify] part of IT Services) was administratively split from the academic department in 1969,[29] although complete independence was only gained in 1978.[30]

Complementing the Numerical Analysis Group, the Programming Research Group was set up in 1966 at 45 Banbury Road under the leadership of Christopher Strachey[31] with the aim "to bring some coherence into the present ad hoc nature of programming and software".[32] These two groups operated mostly separately until 1984 when both of the laboratory's research groups moved into 8–11 Keble Road, opposite Keble College.[11] However the laboratory soon outgrew this space, and occupied space in 2 South Parks Road,[33] until in 1993 the Wolfson Building opened behind the Victorian 8–11 Keble Road houses.[11] The neighbouring houses at 5–7 Keble Road and a new "e-Science building" behind these provided additional space upon opening in 2007.[34] 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.[35]

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.[11] The current head is Michael Wooldridge.[11]

See also

References

  1. ^ http://www.peridotportal.co.uk/oxforddepartmentofcomputerscience/about.php
  2. ^ a b c d e http://www.oua.ox.ac.uk/holdings/Computing%20Laboratory2%20CL.pdf
  3. ^ http://web.archive.org/web/19990423144719/http://www.comlab.ox.ac.uk/oucl/courses/ba-mandc.html
  4. ^ http://www.ox.ac.uk/gazette/1998-9/weekly/130599/exam.htm
  5. ^ http://web.archive.org/web/20080618073444/http://web2.comlab.ox.ac.uk/oucl/courses/undergrads/meng-ecs/
  6. ^ http://www.ox.ac.uk/media/global/wwwoxacuk/localsites/gazette/documents/statisticalinformation/adstats06.pdf
  7. ^ http://www.ox.ac.uk/media/global/wwwoxacuk/localsites/gazette/documents/statisticalinformation/2_vol138.pdf
  8. ^ http://www.cs.ox.ac.uk/ugadmissions/how_to_apply/choose_course.html
  9. ^ http://www.ox.ac.uk/about_the_university/facts_and_figures/undergraduate_admissions_statistics/courses.html
  10. ^ a b "Frequently asked questions". Department of Computer Science, University of Oxford, UK. Retrieved July 4, 2011.[dead link]
  11. ^ a b c d e "About the Department of Computer Science". Department of Computer Science, University of Oxford, UK. Retrieved 22 April 2014.
  12. ^ http://www.maths.ox.ac.uk/groups/numerical-analysis
  13. ^ "Research Themes". Department of Computer Science, University of Oxford, UK. Retrieved June 15, 2011.
  14. ^ "People in the Department of Computer Science". University of Oxford. Archived from the original on 2014-08-09.
  15. ^ {{DBLP}} template missing ID and not present in Wikidata.
  16. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  17. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  18. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  19. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  20. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  21. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  22. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  23. ^ Department of Computer Science, University of Oxford publications indexed by Google Scholar
  24. ^ Altmann, S. L.; Bowen, E. J. (1974). "Charles Alfred Coulson. 1910-1974". Biographical Memoirs of Fellows of the Royal Society. 20: 74. doi:10.1098/rsbm.1974.0004.
  25. ^ a b http://www.oucs.ox.ac.uk/internal/annrep/annrep57-58.html
  26. ^ O'Connor, John J.; Robertson, Edmund F., "Department of Computer Science, University of Oxford", MacTutor History of Mathematics Archive, University of St Andrews
  27. ^ Department of Computer Science, University of Oxford at the Mathematics Genealogy Project
  28. ^ http://www.oucs.ox.ac.uk/internal/history/building-photos.xml
  29. ^ http://www.oucs.ox.ac.uk/internal/annrep/annrep68-69.html
  30. ^ http://www.oucs.ox.ac.uk/internal/annrep/annrep77-78.html
  31. ^ Campbell-Kelly, Martin (1985). "Christopher Strachey, 1916-1975: A Biographical Note". IEEE Annals of the History of Computing. 7 (1): 19–42. doi:10.1109/MAHC.1985.10001. ISSN 1058-6180.
  32. ^ http://www.oucs.ox.ac.uk/internal/annrep/annrep65-66.html
  33. ^ http://web.archive.org/web/19990220045557/http://www.comlab.ox.ac.uk/oucl/structure.html
  34. ^ http://www.rae.ac.uk/submissions/ra5a.aspx?id=23&type=uoa&subid=746
  35. ^ http://www.peridotportal.co.uk/oxforddepartmentofcomputerscience/roles.php


51°45′35″N 1°15′30″W / 51.7597°N 1.2584°W / 51.7597; -1.2584