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
ECCAI Fellowship awarded to Ian Horrocks
Ian Horrocks has been elected an ECCAI Fellow by the ECCAI board, one of seven fellows elected in 2009. The fellows certificate will be presented to him during ACAI-09 in Belfast in August.
More Details...
EPSRC Leadership Fellowship 2009 awarded to OUCL applicant
Joel Ouaknine (Verification) has been awarded an EPSRC Leadership Fellowship 2009.
More Details...
New EPSRC grant awarded
Joel Quaknine, along with co-investigators James Worrell and Andrzej Murawski, has been awarded an EPSRC grant titled "Automated Verification of Probabilistic Programs" with an awarded value of £292,618 (FEC cost equivalent of £358,730) (EP/G069158/1 ). The grant was ranked first (out of the 56 considered) of what was felt to be a very high quality panel. The grant will mainly support two postdocs for a period of 1.5 years.
More Details...
|
