Admissions

Computer Science

Research Programmes

MPLS Division

DPhil in Computer Science

Course Code | 002340 

MSc by Research in Computer Science

Course Code | 002350 

Research areas cover a wide range of subjects in Computer Science, Software Engineering and Numerical Analysis, including:

Computational Biology

  • Computational Modelling of Physiological Systems
  • Computational Systems Biology

Information Systems

  • Computational Linguistics
  • Knowledge Representation and Reasoning
  • Database Systems and Database Theory
  • Spatial Reasoning

Foundations, Logic and Structures

  • Quantum Information and Computation
  • Game Semantics and Applications to Verification
  • Dynamic Epistemic Logic
  • Constraints 

Numerical Analysis

  • Partial Differential Equations
  • Numerical Linear Algebra
  • Optimisation
  • Approximation, Software, Applications

Programming Languages

  • Program Analysis
  • Optimising Compilers
  • Programming Tools
  • Database Programming Languages

Software Engineering

  • Information Modelling
  • Requirements Engineering
  • Model-Based Development
  • Systems Security
  • Sensor Networks

Verification

  • Software Model Checking
  • Security
  • Hardware Verification
  • Concurrency
  • Quantitative Analysis and Verification
Back to top

Taught Programmes

MPLS Division

MSc in Computer Science

Course Code | 002330  
As well as teaching cutting-edge technology, this offers the opportunity to go deeper into fundamental principles of lasting value than many other courses. Programming is a mathematical activity. Like other branches of applied mathematics and engineering, its successful practice requires determined and meticulous application of methods of mathematical understanding, calculation and proof. Students will obtain a theoretical and practical understanding of the software development process, from abstract user-oriented specification through to concrete programming. It is taken by students who have had little or no formal computing instruction as well as students with established programming skills.

MSc in Mathematical Modelling and Scientific Computing

Course Code | 002490
This course provides training in the application of mathematics to a wide range of problems in science and technology. Emphasis is placed both on the formulation of problems and on the analytical and numerical techniques for their solution and the computation of useful results. In addition to coursework on mathematical methods, small groups of students develop models for nonstandard problems and evaluate their potential. The numerical analysis covers topics in linear algebra, approximation theory, and optimisation.
Back to top

Resources Available

MPLS Division

Computing Laboratory Library

Radcliffe Science Library

Hooke Library

Computing resources

PC provided for each DPhil student; teaching network of PCs for graduate taught students

Back to top

Academic Staff Profiles

MPLS Division

Information on Academic Staff Profiles

Back to top

Related Programmes Available

MPLS Division
  • MSc in Mathematics and the Foundations of Computer Science

(programme run jointly with the Mathematics Institute)

Part-time courses

  • PGCert in Object Technology
  • PGCert, Diploma and MSc in Software Engineering
  • PGCert, Diploma and MSc in Software and Systems Security
Back to top

Graduate Destinations

MPLS Division

Further research into computer science and/or mathematics, or industry.

MPLS Division

>> Visit the website

Key Facts

Contact for Enquiries

Secretary for Graduate Studies
Tel: +44 (0)1865 273817
Computer Science:
graduate.admissions@comlab.ox.ac.uk
MSc in MMSC:
mmsc-admissions@comlab.ox.ac.uk

 

Main areas of research interests

See the departmental website


Research Programmes

DPhil in Computer Science
MSc by Research in Computer Science

 

Taught Programmes

MSc in Computer Science
MSc in Mathematical Modelling and Scientific Computing (MMSC)


Entry Requirements

Good undergraduate degree
(upper second class or above)


English Language Requirements

Research degrees: Standard level
Taught degrees: Higher level


Funding/Awards

EPSRC studentships
See website for more details


Number of Applicants

Research degrees: 126
Taught degrees: 225


Number of Places Available

Research degrees: 35
Taught degrees: 75


Application Deadlines

20 November 2009,
22 January 2010,
12 March 2010

 

Statement of Provision

Computing Laboratory - Research

 

MSc in Computer Science

 

MSc in Mathematical Modelling and Scientific Computing