Computer Science

University of Oxford

Bachelor's degree

In Oxford

Price on request

The best Computer Engineering courses

See all

See all

Description

  • Type

    Bachelor's degree

  • Location

    Oxford

UCAS code G400 Duration
3 years (BA)
4 years (MCompSci)
Entrance requirements
A*AA with the A* in Maths, Further Maths or Computing/Computer Science
Subject requirements Maths
Further Maths
Admissions test(s) ox.ac.uk/mat Written work None
Admissions statistics*
Interviewed: 21%
Successful: 7%
Intake: 39
*3-year average 2017-19
Contact
+44 (0) 1865 273821 / 283507
Email Computer Science
Subject requirements: Essential Recommended Helpful – may be useful on course
Unistats information for this course can be found at the bottom of the page
Please note that there may be no data available if the number of course participants is very small.
Computer science is about understanding computer systems and networks at a deep level. Computers and the programs they run are among the most complex products ever created; designing and using them effectively presents immense challenges. Facing these challenges is the aim of computer science as a practical discipline, and this leads to some fundamental questions:
How can we capture in a precise way what we want a computer system to do?
Can we mathematically prove that a computer system does what we want it to?
How can computers help us to model and investigate complex systems like the Earth’s climate, financial systems or our own bodies?
What are the limits to computing? Will quantum computers extend those limits?
The theories that are now emerging to answer these kinds of questions can be immediately applied to design new computers, programs, networks and systems that are transforming science, business, culture and all other aspects of life.
">Video of Computer Science at Oxford University.
Computer Science can be studied for three years (BA) or four years (Master of Computer Science). The fourth year allows the study of advanced topics and an in-depth research project

Facilities

Location

Start date

Oxford (Oxfordshire)
See map
Wellington Square, OX1 2JD

Start date

On request

Questions & Answers

Add your question

Our advisors and other users will be able to reply to you

Who would you like to address this question to?

Fill in your details to get a reply

We will only publish your name and question

Reviews

Subjects

  • Maths
  • Logic
  • Calculus
  • Teaching
  • Security
  • Supervisor
  • Options
  • Computing
  • Networks
  • IT
  • Algorithms
  • Biology
  • Design
  • University
  • Project
  • Systems
  • Full Time
  • Programming
  • IT Security
  • Computational

Course programme

A typical week

During the first part of the course, your work will be divided between about ten lectures and two tutorials each week, in addition to about two practical sessions. In tutorials you will discuss ideas in depth with an experienced computer scientist, usually with just one or two other students. You will be expected to spend a considerable amount of time developing your own understanding of the topics covered in lectures, answering questions designed to check your understanding, and preparing for tutorials.

As the course progresses, you will also begin to work in small classes of up to ten people on more specialised topics. In the second year you will take part in a group design practical, which may be sponsored by industry. In Years 3 and 4 about a third of your time is spent working on your chosen individual project. Most tutorials, classes, and lectures are delivered by staff who are tutors in their subject. Many are world-leading experts with years of experience in teaching and research. Some teaching may also be delivered by postdoctoral researchers or postgraduate students who are studying at doctorate level.

To find out more about how our teaching year is structured, visit our Academic Year page.

Academic YearCourse structureYEAR 1

COURSES

  • Core courses (100%):
    • Continuous mathematics
    • Design and analysis of algorithms
    • Digital systems
    • Discrete mathematics
    • Ethics and responsible innovation
    • Functional programming
    • Imperative programming
    • Introduction to formal proof
    • Linear algebra
    • Probability

ASSESSMENT

Four exam papers

YEAR 2

COURSES

  • Core courses (50%):
    • Algorithms
    • Compilers
    • Concurrent programming
    • Models of computation
    • Group design practical
  • Current options (50%) include:
    • Computer architecture
    • Computer graphics
    • Computer networks
    • Databases
    • Artificial intelligence
    • Logic and proof

ASSESSMENT

Four exam papers

YEAR 3

COURSES

  • Current options (67%) include:
    • Computational complexity
    • Machine learning
    • Computer security
    • Computer-aided formal verification
    • Geometric modelling
    • Knowledge representation and reasoning
    • Lambda calculus and types
    • Principles of programming languages
  • Project work (33%)

ASSESSMENT

Ten exam papers plus project report

YEAR 4

COURSES

  • Current options (62%) include:
    • Advanced topics in machine learning
    • Automata, logic and games
    • Advanced security
    • Categories, proofs and processes
    • Computational game theory
    • Computational learning theory
    • Concurrent algorithms and data structures
    • Database systems implementation
    • Probabilistic model checking
    • Probability and computing
    • Quantum computer science
    • Requirements
  • Project work (38%)

The courses listed above are illustrative and may change. A full list of current options is available on the Computer Science website.

ASSESSMENT

Five take-home exams or written papers plus project report

YEAR 1

COURSES

  • Core courses (100%):
    • Continuous mathematics
    • Design and analysis of algorithms
    • Digital systems
    • Discrete mathematics
    • Ethics and responsible innovation
    • Functional programming
    • Imperative programming
    • Introduction to formal proof
    • Linear algebra
    • Probability

ASSESSMENT

Four exam papers

YEAR 2

COURSES

  • Core courses (50%):
    • Algorithms
    • Compilers
    • Concurrent programming
    • Models of computation
    • Group design practical
  • Current options (50%) include:
    • Computer architecture
    • Computer graphics
    • Computer networks
    • Databases
    • Artificial intelligence
    • Logic and proof

ASSESSMENT

Four exam papers

YEAR 3

COURSES

  • Current options (67%) include:
    • Computational complexity
    • Machine learning
    • Computer security
    • Computer-aided formal verification
    • Geometric modelling
    • Knowledge representation and reasoning
    • Lambda calculus and types
    • Principles of programming languages
  • Project work (33%)

ASSESSMENT

Ten exam papers plus project report

YEAR 4

COURSES

  • Current options (62%) include:
    • Advanced topics in machine learning
    • Automata, logic and games
    • Advanced security
    • Categories, proofs and processes
    • Computational game theory
    • Computational learning theory
    • Concurrent algorithms and data structures
    • Database systems implementation
    • Probabilistic model checking
    • Probability and computing
    • Quantum computer science
    • Requirements
  • Project work (38%)

The courses listed above are illustrative and may change. A full list of current options is available on the Computer Science website.

ASSESSMENT

Five take-home exams or written papers plus project report

YEAR 1YEAR 1YEAR 1

COURSES

  • Core courses (100%):
    • Continuous mathematics
    • Design and analysis of algorithms
    • Digital systems
    • Discrete mathematics
    • Ethics and responsible innovation
    • Functional programming
    • Imperative programming
    • Introduction to formal proof
    • Linear algebra
    • Probability

ASSESSMENT

Four exam papers

COURSES

  • Core courses (100%):
    • Continuous mathematics
    • Design and analysis of algorithms
    • Digital systems
    • Discrete mathematics
    • Ethics and responsible innovation
    • Functional programming
    • Imperative programming
    • Introduction to formal proof
    • Linear algebra
    • Probability

COURSES

COURSES
  • Core courses (100%):
    • Continuous mathematics
    • Design and analysis of algorithms
    • Digital systems
    • Discrete mathematics
    • Ethics and responsible innovation
    • Functional programming
    • Imperative programming
    • Introduction to formal proof
    • Linear algebra
    • Probability
  • Core courses (100%):
    • Continuous mathematics
    • Design and analysis of algorithms
    • Digital systems
    • Discrete mathematics
    • Ethics and responsible innovation
    • Functional programming
    • Imperative programming
    • Introduction to formal proof
    • Linear algebra
    • Probability
    • Continuous mathematics
    • Design and analysis of algorithms
    • Digital systems
    • Discrete mathematics
    • Ethics and responsible innovation
    • Functional programming
    • Imperative programming
    • Introduction to formal proof
    • Linear algebra
    • Probability
  • Continuous mathematics
  • Design and analysis of algorithms
  • Digital systems
  • Discrete mathematics
  • Ethics and responsible innovation
  • Functional programming
  • Imperative programming
  • Introduction to formal proof
  • Linear algebra
  • Probability

    • ASSESSMENT

    Four exam papers

    ASSESSMENT

    ASSESSMENT

    Four exam papers

    YEAR 2YEAR 2YEAR 2

    COURSES

    • Core courses (50%):
      • Algorithms
      • Compilers
      • Concurrent programming
      • Models of computation
      • Group design practical
    • Current options (50%) include:
      • Computer architecture
      • Computer graphics
      • Computer networks
      • Databases
      • Artificial intelligence
      • Logic and proof

    ASSESSMENT

    Four exam papers

    COURSES

    • Core courses (50%):
      • Algorithms
      • Compilers
      • Concurrent programming
      • Models of computation
      • Group design practical
    • Current options (50%) include:
      • Computer architecture
      • Computer graphics
      • Computer networks
      • Databases
      • Artificial intelligence
      • Logic and proof

    COURSES

    COURSES
    • Core courses (50%):
      • Algorithms
      • Compilers
      • Concurrent programming
      • Models of computation
      • Group design practical
    • Current options (50%) include:
      • Computer architecture
      • Computer graphics
      • Computer networks
      • Databases
      • Artificial intelligence
      • Logic and proof
  • Core courses (50%):
    • Algorithms
    • Compilers
    • Concurrent programming
    • Models of computation
    • Group design practical
    • Algorithms
    • Compilers
    • Concurrent programming
    • Models of computation
    • Group design practical
  • Algorithms
  • Compilers
  • Concurrent programming
  • Models of computation
  • Group design practical
  • Current options (50%) include:
    • Computer architecture
    • Computer graphics
    • Computer networks
    • Databases
    • Artificial intelligence
    • Logic and proof
    • Computer architecture
    • Computer graphics
    • Computer networks
    • Databases
    • Artificial intelligence
    • Logic and proof
  • Computer architecture
  • Computer graphics
  • Computer networks
  • Databases
  • Artificial intelligence
  • Logic and proof

    • ASSESSMENT

    Four exam papers

    ASSESSMENT

    ASSESSMENT

    Four exam papers

    YEAR 3YEAR 3YEAR 3

    COURSES

    • Current options (67%) include:
      • Computational complexity
      • Machine learning
      • Computer security
      • Computer-aided formal verification
      • Geometric modelling
      • Knowledge representation and reasoning
      • Lambda calculus and types
      • Principles of programming languages
    • Project work (33%)

    ASSESSMENT

    Ten exam papers plus project report

    COURSES

    • Current options (67%) include:
      • Computational complexity
      • Machine learning
      • Computer security
      • Computer-aided formal verification
      • Geometric modelling
      • Knowledge representation and reasoning
      • Lambda calculus and types
      • Principles of programming languages
    • Project work (33%)

    COURSES

    COURSES
    • Current options (67%) include:
      • Computational complexity
      • Machine learning
      • Computer security
      • Computer-aided formal verification
      • Geometric modelling
      • Knowledge representation and reasoning
      • Lambda calculus and types
      • Principles of programming languages
    • Project work (33%)
  • Current options (67%) include:
    • Computational complexity
    • Machine learning
    • Computer security
    • Computer-aided formal verification
    • Geometric modelling
    • Knowledge representation and reasoning
    • Lambda calculus and types
    • Principles of programming languages
    • Computational complexity
    • Machine learning
    • Computer security
    • Computer-aided formal verification
    • Geometric modelling
    • Knowledge representation and reasoning
    • Lambda calculus and types
    • Principles of programming languages
  • Computational complexity
  • Machine learning
  • Computer security
  • Computer-aided formal verification
  • Geometric modelling
  • Knowledge representation and reasoning
  • Lambda calculus and types
  • Principles of programming languages
  • Project work (33%)

    • ASSESSMENT

    Ten exam papers plus project report

    ASSESSMENT

    ASSESSMENT

    Ten exam papers plus project report

    YEAR 4YEAR 4YEAR 4

    COURSES

    • Current options (62%) include:
      • Advanced topics in machine learning
      • Automata, logic and games
      • Advanced security
      • Categories, proofs and processes
      • Computational game theory
      • Computational learning theory
      • Concurrent algorithms and data structures
      • Database systems implementation
      • Probabilistic model checking
      • Probability and computing
      • Quantum computer science
      • Requirements
    • Project work (38%)

    The courses listed above are illustrative and may change. A full list of current options is available on the Computer Science website.

    ASSESSMENT

    Five take-home exams or written papers plus project report

    COURSES

    • Current options (62%) include:
      • Advanced topics in machine learning
      • Automata, logic and games
      • Advanced security
      • Categories, proofs and processes
      • Computational game theory
      • Computational learning theory
      • Concurrent algorithms and data structures
      • Database systems implementation
      • Probabilistic model checking
      • Probability and computing
      • Quantum computer science
      • Requirements
    • Project work (38%)

    The courses listed above are illustrative and may change. A full list of current options is available on the Computer Science website.

    COURSES

    COURSES
    • Current options (62%) include:
      • Advanced topics in machine learning
      • Automata, logic and games
      • Advanced security
      • Categories, proofs and processes
      • Computational game theory
      • Computational learning theory
      • Concurrent algorithms and data structures
      • Database systems implementation
      • Probabilistic model checking
      • Probability and computing
      • Quantum computer science
      • Requirements
    • Project work (38%)
  • Current options (62%) include:
    • Advanced topics in machine learning
    • Automata, logic and games
    • Advanced security
    • Categories, proofs and processes
    • Computational game theory
    • Computational learning theory
    • Concurrent algorithms and data structures
    • Database systems implementation
    • Probabilistic model checking
    • Probability and computing
    • Quantum computer science
    • Requirements
    • Advanced topics in machine learning
    • Automata, logic and games
    • Advanced security
    • Categories, proofs and processes
    • Computational game theory
    • Computational learning theory
    • Concurrent algorithms and data structures
    • Database systems implementation
    • Probabilistic model checking
    • Probability and computing
    • Quantum computer science
    • Requirements
  • Advanced topics in machine learning
  • Automata, logic and games
  • Advanced security
  • Categories, proofs and processes
  • Computational game theory
  • Computational learning theory
  • Concurrent algorithms and data structures
  • Database systems implementation
  • Probabilistic model checking
  • Probability and computing
  • Quantum computer science
  • Requirements
  • Project work (38%)

    • The courses listed above are illustrative and may change. A full list of current options is available on the Computer Science website.

    The courses listed above are illustrative and may change. A full list of current options is available on the Computer Science website.Computer Science website

    ASSESSMENT

    Five take-home exams or written papers plus project report

    ASSESSMENT

    ASSESSMENT

    Five take-home exams or written papers plus project report

    The content and format of this course may change in some circumstances. Read further information about potential course changes.

    The content and format of this course may change in some circumstances. Read further information about potential course changes.

    The content and format of this course may change in some circumstances. Read further information about potential course changes.

    The content and format of this course may change in some circumstances. Read further information about potential course changes.

    potential course changes

    Next
    Admissions RequirementsPrevious
    Overview

    Next
    Admissions Requirements
    Admissions RequirementsPrevious
    Overview
    Overview

    See related categories

    Computer Science

    Price on request

    The best Computer Engineering courses

    See all

    See all