Welcome

The Computing Laboratory—the University's Computer Science department—is at the heart of computing and related interdisciplinary activity at Oxford. It is a centre for research in computer science, numerical analysis, computational biology, quantum computation, computational linguistics, and information systems. It is also a place where students can obtain an outstanding education in computer science through a variety of undergraduate and graduate programmes, including a part-time, professional programme in software engineering.

On this site, you will find the latest news of events and opportunities, along with detailed information on our research and teaching programmes, and on the activities of those who work in the Laboratory. There are specific resources for visitors, prospective students, industrial collaborators, and those interested in the results of our research, including downloadable versions of books, papers, and software.

Latest News

Opportunity Research Assistant on the BBSRC-funded 3D Heart Project Grade 7 The Computing Laboratory has a vacancy for a one year research position as part of a BBSRC-funded project that aims to develop technologies for 3D histologically-detailed reconstructions of individual whole heart. This investigation is conducted jointly by the Department of Physiology, Anatomy & Genetics, the Department of Cardiovascular Medicine, and the Computing Laboratory (where the post will be administratively based) at the University of Oxford.

Opportunity One Year Research Assistant Post Grade 7 on UbiVal Project Oxford University Computing Laboratory (OUCL) has been awarded an EPSRC grant UbiVal (http://www.comlab.ox.ac.uk/projects/ubival/) to work on validation and verification for ubiquitous computing applications. The project is led by Professor Marta Kwiatkowska at the Oxford University Computing Laboratory and contributes to the activities of the Quantitative Analysis and Verification group. The aims of the project are to develop the foundations and software technology for the automatic verification of context-aware systems, such as those that vary their response depending on location.

Event Announcement OeRC vs Comlab Rounders Match! Wednesday 23rd July, 2.15pm University Parks