A workshop on ‘Logic for Interaction’, organised by Samson Abramsky and Nikos Tzevelekos, was held at the Department on the weekend of April 2–3.
Oxford University recently welcomed over 50 students and teachers to the Department of Computer Science for the Computing At School Sixth Form Conference.
This year's CAV will feature 9 papers by Department-affiliated authors.
New free software, launched by Oxford University scientists, gives researchers the tools they need to collaborate more efficiently and quickly with colleagues scattered around the world and working in a variety of different research areas.
The Rt Hon David Blunkett MP, will give a seminar on Monday, 7 March, entitled 'balancing security and privacy in an open society'.
Lu Feng has been shortlisted for the UK ICT Pioneers Competition organised by EPSRC, which aims to recognise the most exceptional UK PhD students in ICT-related topics who can innovatively demonstrate the exploitation potential of their research.
The Software Engineering Programme will be showcasing their courses at Infosecurity Europe 2011, 19th—21st April, London UK. Infosecurity is a showcase for products and services related to Information Security. Staff from Software Engineering will be present at stand D55 to answer questions about the Programme
Intel has awarded a group of UK, U.S., and Canadian researchers $1.3 million to create new technology to bolster the reliability of firmware – software that is embedded in computer chips at the factory. Firmware optimizes the performance of computer chips by boosting processing speed, conserving battery life and the like. The researchers say chipmakers need new technology to ensure that firmware d
Over 40% of proposed drug compounds fail to make it to market due to side effects on the heart. Currently, drug cardiac safety is assessed according to set of laboratory tests, with a tightly limited range of acceptable answers. There is broad agreement within the drug development community that these tests are not as sensitive or accurate as they should be, but credible alternatives have not been
Oxford University's Computer Science department is delighted to welcome Year 10 girls and their teachers to a Computer Science Taster Day on Tuesday 28th June
The initial cohort will start in October 2012 – appropriately, the year that marks the 100th anniversary of the birth of Alan Turing.
Details of a one day taster event for Year 11 and 12 students interested in finding out about Computer Science and Philosophy has been announced
Doctoral student Christopher Broadbent has been selected as one of twelve ‘laureate‘ postdocs of the Foundation Sciences Mathématiques de Paris.
Markus Krötzsch from the KRR/IS group was recently interviewed about his work on Semantic MediaWiki for a program that was subsequently broadcast on the German national radio station "Deutschlandradio Kultur". The interview was recorded at the BBC Oxford studios.
The Programme will be holding an information day for software and security courses in Oxford on Saturday 19th February 2011 from 10.00 until 14.00.
High-achieving young people wanted for the Oxford University UNIQ Summer School in Computer Science.
Foundations of Semantic Web Technologies, a textbook co-written by Oxford's Markus Krötzsch has been recognised in the American Library Association's prestigious list of ‘Outstanding Academic Titles’.
The DIADEM project, lead by Georg Gottlob, is the recipient of an Amazon Web Services research grant in the amount of $7500 for 2011.
The first edition of Inspired Research has been launched. This twice-yearly publication showcases the cutting-edge research that is being undertaken at OUCL – Oxford University’s Computer Science department.
“AS YOU read this article, your brain not only takes in individual words, but also combines them to extract the meaning of each sentence. It is a feat any competent reader takes for granted, but it's beyond even the most sophisticated of today's computer programs. Now their abilities may be about to leap ahead, thanks to a form of graphical mathematics borrowed from quantum mechanics.” So starts a
Bob Coecke's 1000 page tutorial volume - New Structure for Physics has been published by Springer.
Inventing the Future: The Oxford University/Computing at School Sixth Form Conference
A European consortium including computer scientists from Oxford University has announced Trustworthy Clouds or TCLOUDS, a new virtual infrastructure project. The goal of the project is to prototype an advanced cloud infrastructure that can deliver a new level of secure, private and resilient computing and storage that is cost-efficient, simple and scalable.
Researchers from the Computational Biology Group at OUCL are developing simulation software for modeling biological systems such as the workings of the heart or the growth of tumours. This software will ultimately improve the understanding of cardiac drugs and the treatment and care of patients with cancer. The latest version of the Chaste software has being released under an Open Source software
This year's DPhil Student Conference will be held at Keble College and consist of 16 presentations by students from across the laboratory. All students and staff are welcome to attend.
The Information System Group's Markus Krötzsch was one of an international team of researchers who won the 3rd prize in this year's ISWC Semantic Web Challenge.
OUCL welcomes Jane Hillston from Edinburgh University to give the Strachey Lecture. She will be speaking on ‘Making stochastic process algebras count: modelling collective dynamics.’
OUCL’s Bill Roscoe has launched a new book entitled Understanding Concurrent Systems.
Andrew Markham, a postdoc in Niki Trigoni's Sensor Network group working on the WildSensing project, was recently awarded the prize for the best presentation at the prestigious ACM SenSys 2010 conference, held in Zurich, Switzerland.
A prestigious Newton Fellowship was recently awarded to Vojtech Forejt to undertake research at the Oxford University Computing Laboratory.
Two new projects involving computational modelling of the respiratory system are to be funded through the European Commission’s Seventh Framework Programme (FP7).
The first dedicated ‘Careers in Computing’ event will take place on Thursday, 10 February 2011, giving companies offering graduate employment opportunities the chance to talk directly with Oxford students.
A three-day workshop on the interplay between algebra and coalgebra that can be thought of as information flow, and its applications to quantum physics and linguistics, funded by the British Council and Platform Bèta Techniek.
This year's BCS Roger Needham Lecture will be given by Joël Ouaknine from the University of Oxford Computing Laboratory. It will be on 4 November at the Royal Society, London.
Computer Science graduate Anne-Marie Imafidon has reached the final of the British Computer Society (BCS) & Computing UK's annual IT Industry Awards.
Oxford Computer Science student Thomas Gibson-Robinson was one of three people nominated for the Best Information Technology Student at the Science, Engineering & Technology Awards in 2010.
Congratulations to young entrepreneurs Andy Young (Computer Science, St John's) and David Langer (Mathematics, St Anne's) who have secured a $1.3 million investment round for their venture GroupSpaces.com, a site for simple online management and administration of real-world clubs and groups.
Vojtech Forejt, currently visiting Marta Kwiatkowska's Verification group, has won a prestigious Royal Society Newton International Fellowship.
The paper "Probabilistic Model Checking of Complex Biological Pathways" by John Heath, Marta Kwiatkowska, Gethin Norman, David Parker and Oksana Tymchyshyn, was recently awarded the Top Cited Article award in the journal Theoretical Computer Science, for the period 2005-2010.
The results of the latest National Student Survey are in, and it’s a ‘thumbs up’ for Oxford University Computing Laboratory, as well as Oxford University as a whole. On a university-wide level 93% of final year undergraduates at the University are satisfied with their courses and life. Oxford is ranked joint second (with the Open University) after the University of Buckingham (the UK’s only privat
The organisers of this year’s DPhil Student Conference are planning to publish the conference proceedings and are seeking an industrial sponsor to support this. Department of Computer Science, University of Oxford
LogMap: Logic-based Methods for Ontology Mapping
The ISG are awarded a grant to fund the ExODA project
Stephen Pulman and Phil Blunsom are given a Google Research Award
Congratulations to three academics from the Computing Laboratory who have been recognised in the 2010 Teaching Award Scheme. Gavin Lowe, Stephen Pulman and Irina Voiculescu have each won individual awards of £1000.
Professor Bill Morton, former Professor of Numerical Analysis and Director of the Compuing Laboratory receives the De Morgan Medal; the Society's premier award
The Computing Laboratory's Information Systems Group scored five research papers (out of five submitted) at the 2010 International Conference on Very Large Data Bases (VLDB 2010) to be held in Singapore in mid September.
Scientists from the Oxford University Computing Laboratory are poised to take their ‘rescue robot’ to RoboCup – the Robot World Cup – in Singapore, to battle it out in the simulated rescue competition.
Congratulations to Blanca's group who will present papers at the IEEE/ EMBC in Buenos Aires and general update on group's activities
On May 27th, the department held its second Industry Liaison activity in conjunction with OeRC, ISIS Innovation and STEM-UeN. It gave industry participants the opportunity to explore the work of the department through a series of talks and demonstrations including innovative security, avatars which showed sentiment and dancing robots.
Specifically for girls, this open day is designed to introduce students to Computer Science and how it is studied at university.
Dr Joël Ouaknine of the Oxford University Computing Laboratory has been named as this year’s recipient of the Roger Needham Award, by the British Computer Society. Dr Ouaknine received the award in recognition of his research into describing the behaviour and evolution of models of timed systems: which include anything from the control and guidance systems of rockets to engine management and braki
Georg Gottlob has been elected a Fellow of the Royal Society for his fundamental contributions to both artificial intelligence and to database systems
On Thursday 27th May, the Computing Laboratory, in conjunction with ISIS Innovation, OeRC and Stem-UEN will be holding their second industry event, in the form of a showcase of Computing Research including talks, demonstrations and posters.
Lead Researcher(s): Professor Bill Roscoe and Professor Anne Trefethen
Dr Joël Ouaknine from Oxford University's Computing Laboratory is to receive this year's Roger Needham award, from BCS The Chartered Institute for IT, one of the UK's leading computer science awards.
11th May 2010: Professor O Grumberg (TECHNION, Israel Institute of Technology)
Thanks to a generous gift from Yahoo! to Professor Georg Gottlob, the Computing Laboratory was able to attract top scientist Thomas Lukasiewicz as a Yahoo! Research Fellow and Departmental Lecturer.
The Programme will be holding an open day in Oxford on Saturday 13th March 2010, from 10am until 2pm. Department of Computer Science, University of Oxford
Wadham College, Oxford, 22nd to 26th March 2010 Department of Computer Science, University of Oxford
This collaboration with Harvard is part of the EPSRC Grant EP/G003017/1 Complexity and Decidability in Unconventional Computational Models involving Jake Biamonte, Ed Blakey, Bob Coecke and Joel Ouaknine.
The verification group at the Computing Laboratory will present 7 papers at the conference on tools and algorithms for the construction and analysis of systems (TACAS) this year. TACAS is one of the strongest venues in algorithmic verification. The papers range from software verification to the verification of probabilistic systems. We also congratulate Andrzej Murawski and Nikos Tzevelekos for th
The announcement on 16 December by the board of the UK Payments Council that cheques are to be phased out by 2018 has heightened the need for secure replacement payment systems. New security technology developed at the University of Oxford by Professor Bill Roscoe and his team that allows people to make payments via mobile phones, offers a solution. The technology is designed to work in almost all
Two e-research specialists have been appointed by the Economic and Social Research Council as part of a programme to maximise the use of e-technologies by social scientists. David De Roure, professor of computer science at the University of Southampton, takes on the position of national strategic director of e-social science. Marina Jirotka, reader in requirements engineering at the University of
Congratulations to Marta Kwiatkowska and Georg Gottlob on the award of European Research Council (ERC) Advanced Investigators Grants totalling approximately 4.4M euro over 5 years. Department of Computer Science, University of Oxford
New step for the future Web. A new research infrastructure focused in the evaluation of semantic technologies will be developed inside the SEALS (Semantic Evaluation At Large Scale) project, with European funding. This infrastructure, developed jointly by the UPM's School of Computing and other nine European univer
Daniel Kroening is one of the speakers at the TECS Week: TCS Excellence in Computer Science Conference at the Tata Research Development and Design Centre in Pune, India in early January 2010.
Stephen Pulman, Professor of Computational Linguistics at Oxford University Computing Laboratory, discussed the potential use of computers for marking essays on Radio 4's PM programme on Friday 12th November. Click here to listen to the recording (c. 0.38.00 on the iPlayer clock). Department of Computer Science, University of Oxford
Professor Jim Davies, Programme Co-Chair of the Third International Conference on the Theory and Practice of Electronic Governance , shared the platform at the opening session with President Álvaro Uribe Vélez, the Colombian Head of State. President Uribe gave an
According to a recent ranking, Oxford is the top place in Europe for Computer Science (ETH second, Cambridge third). Click here to see the Academic Ranking of World Universities in Computer Science 2009 online. Department of Computer Science, University of Oxford
The OWL 2 Language, which Ian Horrocks helped to develop, became a W3C Recommendation on Tuesday 27th October 2009. Click here to read the press release online. The Oxford main website also features a press release: 'Wiser OWL learns to unravel doctor talk' . Department of Comp
During the summer, Tom Gibson-Robinson carried out a project to implement a number of enhancements to Casper. The project was funded under the EPSRC Vacation Bursary scheme , and supervised by Gavin Lowe. Department of Computer Science, University
The Oxford main website features a new section on 'Research at Oxford', and the Comlab is represented on the MPLS index page, with a short video clip from Computational Biology , as well as in the MPLS People section with a profile of
Peter Jeavons was on the international judging panel for the Boyle Medal, awarded by the Royal Dublin Society last week. Click here to read the article online. Department of Computer Science, University of Oxford
Michael Benedikt has been awarded an EPSRC grant entitled "Query-driven Data Acquisition from Web-based Data Sources". This project funds one RA and one DPhil student for 3.5 years, in addition to salary costs, travel, equipment, etc. Department of Computer Science, University of Oxford
An article about Karo Moilanen's DPhil work appeared in the most recent issue of The Economist. Click here to read the article online. Department of Computer Science, University of Oxford
James Worrell has been awarded an EPSRC grant entitled Extensions of the Church Synthesis Problem. The duration of this grant is 9 months, and as well as supporting the PI it will help support the ongoing sabbatical visit of Professor Alexander Rabinovich of Tel Aviv University to Oxford. Department of Computer Science, University of Oxford
Daniel Kroening as PI and Joel Ouaknine as Co-I have successfully obtained funding from the EPSRC for the project "Verification of Shared-Memory Concurrent Software". This project funds one RA and two DPhil students for 3.5 years, in addition to salary costs, travel, equipment, etc. Department of Computer Science, University of Oxford
Ralf Hinze has been awarded the Peter Landin prize 2009 for his paper Scans and Convolutions: A Calculational Proof of Moessner's Theorem Department of Computer Science, University of Oxford
The Computing Laboratory will be holding an Open Day on Friday 18th September from 11.00 a.m. to 3.00 p.m. Department of Computer Science, University of Oxford
Professor Simon Peyton-Jones, Microsoft Research Cambridge, is giving the Strachey Lecture 'Classes, Jim, but not as we know them' on Tuesday 27th October 2009 at 16:30 in Lecture Theatre B Department of Computer Science, University of Oxford
The article 'The body in question' about innovative projects at the University of Oxford Computing Laboratory, appeared in The IET Magazine in May 2009 Department of Computer Science, University of Oxford
9437 articles sourced historically · 100 per page