http://www.cs.ox.ac.uk/news/ Research-Projects en-gb 360 Fri, 08 May 2026 20:31:28 GMT Fri, 08 May 2026 20:31:28 GMT Research-Projects http://blogs.law.harvard.edu/tech/rss/ http://www.cs.ox.ac.uk/news/2263-full.html How people relate to intelligent machines is one of the complicated questions to solve in work to develop ethical codes for Artificial Intelligence (AI) research Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-2263 Thu, 07 Dec 2017 12:00:00 GMT end=2037-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2262-full.html An important step in making sure that robots act safely and effectively in our society is to be able to formally express what trust is in a human-robot partnership Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-2262 Thu, 07 Dec 2017 12:00:00 GMT end=2037-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2261-full.html The safety of self-driving cars relies on the accuracy of the deep neural networks that control them. To verify the performance of these networks, the department is developing model checking techniques Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-2261 Thu, 07 Dec 2017 12:00:00 GMT end=2037-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2255-full.html In a world where technological advances can create undesirable futures, there is an ever stronger need for more research into the ethical and societal consequences of technology Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-2255 Wed, 06 Jun 2018 11:00:00 GMT end=2038-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2254-full.html Three professors from the department have launched a spin-out, Oxford Semantic Technologies, with the aim of applying this technology to data integration and analysis Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-2254 Wed, 06 Jun 2018 11:00:00 GMT end=2038-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2250-full.html The department's Medical Imaging Group led by Irina Voiculescu has been developing software to improve support for early diagnosis and intervention, and to print 3D models to guide surgeons when preparing for hip replacement surgery Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-2250 Tue, 05 Jun 2018 11:00:00 GMT end=2038-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2000-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-2000 Fri, 03 Dec 2021 12:00:00 GMT end=2041-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1813-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1813 Mon, 11 May 2020 11:00:00 GMT end=2040-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1764-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1764 Wed, 11 Dec 2019 12:00:00 GMT end=2039-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1701-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1701 Wed, 10 Jul 2019 11:00:00 GMT end=2039-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1604-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1604 Fri, 07 Dec 2018 12:00:00 GMT end=2038-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1599-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1599 Fri, 30 Nov 2018 12:00:00 GMT end=2038-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1611-full.html UK Research and Innovation (UKRI) and Alan Turing Institute have announced funding for two new research programmes in artificial intelligence. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1611 Wed, 19 Dec 2018 12:00:00 GMT end=2038-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1399-full.html Professor Boris Motik has been awarded a three-year fellowship extension by EPSRC for his work on intelligent information systems. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1399 Tue, 24 Oct 2017 11:00:00 GMT end=2037-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1385-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1385 Mon, 02 Oct 2017 11:00:00 GMT end=2037-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1224-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1224 Fri, 25 Nov 2016 12:00:00 GMT end=2036-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1175-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1175 Wed, 24 Aug 2016 11:00:00 GMT end=2036-08-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1174-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1174 Wed, 24 Aug 2016 11:00:00 GMT end=2036-08-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1047-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1047 Thu, 17 Dec 2015 12:00:00 GMT end=2035-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1039-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1039 Thu, 03 Dec 2015 12:00:00 GMT end=2035-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1024-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1024 Wed, 11 Nov 2015 12:00:00 GMT end=2035-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1018-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-1018 Thu, 05 Nov 2015 12:00:00 GMT end=2035-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/977-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-977 Tue, 01 Sep 2015 11:00:00 GMT end=2035-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/894-full.html Oxford University scientists are looking to predict how the partial solar eclipse of 20 March 2015 will affect electricity grids. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-894 Tue, 17 Mar 2015 12:00:00 GMT end=2035-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/883-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-883 Mon, 09 Feb 2015 12:00:00 GMT end=2035-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/801-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-801 Mon, 09 Jun 2014 11:00:00 GMT end=2034-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/796-full.html He will be discussing Nose Wheel Steering: A challenge problem for software reliability and safety at ASSC2014 Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-796 Fri, 23 May 2014 11:00:00 GMT end=2034-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/794-full.html Joel Ouaknine and James Worrell won the Best Paper Award at the 41st International Colloquium on Automata, Languages, and Programming (ICALP'14), track B, for their paper "Ultimate Positivity is decidable for simple linear recurrence sequences". Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-794 Wed, 21 May 2014 11:00:00 GMT end=2034-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/793-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-793 Mon, 19 May 2014 11:00:00 GMT end=2034-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/790-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-790 Wed, 07 May 2014 11:00:00 GMT end=2034-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/765-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-765 Mon, 03 Mar 2014 12:00:00 GMT end=2034-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/763-full.html Professor Ursula Martin is the Principal Investigator of a new project: ‘The Social Machine of Mathematics’. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-763 Thu, 27 Feb 2014 12:00:00 GMT end=2034-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/750-full.html Professor Sadie Creese has been named by Debrett's as being one of the 500 most influential people in Britain in recognition for her work in cyber security. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-750 Tue, 04 Feb 2014 12:00:00 GMT end=2034-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/749-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-749 Mon, 03 Feb 2014 12:00:00 GMT end=2034-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/727-full.html A complete rewrite of the CSP refinement checker FDR has been released after being under development at the department for the last two years. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-727 Mon, 09 Dec 2013 12:00:00 GMT end=2033-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/785-full.html Oxford computer scientists have had 6 papers accepted at the International Colloquium on Automata, Languages, and Programming 2014 (track B) Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-785 Tue, 22 Apr 2014 11:00:00 GMT end=2034-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/710-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-710 Wed, 30 Oct 2013 12:00:00 GMT end=2033-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/643-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-643 Tue, 14 May 2013 11:00:00 GMT end=2033-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/702-full.html Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-702 Wed, 09 Oct 2013 11:00:00 GMT end=2033-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/599-full.html New project to help businesses detect and prevent cyber threats Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-599 Wed, 20 Feb 2013 12:00:00 GMT end=2033-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/593-full.html The 16th International Conference on Hybrid Systems: Computation and Control conference Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-593 Thu, 10 Jan 2013 12:00:00 GMT end=2033-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/591-full.html The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-591 Fri, 04 Jan 2013 12:00:00 GMT end=2033-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/590-full.html Marta Kwiatkowska will be speaking at TASE 2013, ICTAC 2013 and ATVA 2013 Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-590 Fri, 04 Jan 2013 12:00:00 GMT end=2033-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/576-full.html For developing systems to predict the side effects of drugs on the human heart Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-576 Fri, 23 Nov 2012 12:00:00 GMT end=2032-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/575-full.html For work on the MaSI3 project: A Massively Scalable Intelligent Information Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-575 Fri, 23 Nov 2012 12:00:00 GMT end=2032-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/558-full.html Oxford’s Department of Computer Science is significantly increasing its research in the Algorithms area with the launch of a new Algorithms Theme. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-558 Tue, 16 Oct 2012 11:00:00 GMT end=2032-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/638-full.html Livia Predoiu joins the department on a Marie Curie Fellowship Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-638 Tue, 30 Apr 2013 11:00:00 GMT end=2033-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/490-full.html Daniel Kroening of Oxfords’ Department of Computer Science is leading research into co-ordinating groups of UAVs, which he hopes could improve the way they work when collecting data in difficult conditions, for example during a Fukushima-style disaster Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-490 Fri, 11 May 2012 11:00:00 GMT end=2032-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/480-full.html Wikidata will provide a new collaboratively edited database of the world's knowledge. The team developers will include Oxford's Markus Krötzsch Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-480 Mon, 02 Apr 2012 11:00:00 GMT end=2032-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/473-full.html Oxford University announces new Cyber Security Centre Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-473 Tue, 27 Mar 2012 11:00:00 GMT end=2032-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/452-full.html The new company, TheySay, has received first-round investment of up to £500,000 from IP Group plc, and receives coverage on Radio 4's Today Programme Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-452 Mon, 13 Feb 2012 12:00:00 GMT end=2032-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/444-full.html A collaborative project between physicists, oncologists and computer scientists at Oxford and Cambridge Universities, launched last month, will develop improved tools for the planning of high precision radiotherapy. Accel-RT will also help overcome time constraints that currently limit the use of complex radiotherapy treatment Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-444 Tue, 31 Jan 2012 12:00:00 GMT end=2032-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/439-full.html Chaste (Cancer, Heart and Soft Tissue Environment) is a general purpose simulation package aimed at multi-scale, computationally demanding problems arising in biology and physiology Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-439 Tue, 10 Jan 2012 12:00:00 GMT end=2032-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/433-full.html Members of the Computer Science Department have been awarded funding by EPSRC (Engineering and Physical Sciences Research Council) for the `New Foundational Structures for Engineering Verified Multi-Unmanned Aerial Vehicles` project Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-433 Thu, 05 Jan 2012 12:00:00 GMT end=2032-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/425-full.html Marina Jirotka has been invited by the National University of Singapore to be a member of a Visiting Committee of international experts to carry out an assessment of the Master of Technology degree programme. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-425 Fri, 18 Nov 2011 12:00:00 GMT end=2031-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/407-full.html Their work is featured in a new Research Connections film from Microsoft Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-407 Fri, 07 Oct 2011 11:00:00 GMT end=2031-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/395-full.html The film profiles the Virtual Physiological Human Network of Excellence, and features Oxford’s contribution via the PreDict project. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-395 Tue, 13 Sep 2011 11:00:00 GMT end=2031-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/376-full.html Fujitsu researchers using PRISM win Best Paper Award at the IEEE International Conference on Cloud Computing (CLOUD 2011) in Washington. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-376 Fri, 22 Jul 2011 11:00:00 GMT end=2031-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/374-full.html Professor of Computing Science Georg Gottlob won The Best Research Paper Award at the 17th International Conference on Principles and Practice of Constraint Programming for his work on minimal constraint networks. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-374 Fri, 15 Jul 2011 11:00:00 GMT end=2031-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/361-full.html 'Quantum Nanoscience: Fundamental Physics, Emerging Structures, and Implications for our Ultimate Reality' has started. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-361 Wed, 22 Jun 2011 11:00:00 GMT end=2031-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/360-full.html Congratulations to the Department's Andrew Markham whose badger-monitoring research is today featured on the technology pages of the BBC website. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-360 Wed, 15 Jun 2011 11:00:00 GMT end=2031-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/356-full.html Final-year DPhil student Aadya Shukla won the Best Poster Award at the recent Cybersecurity Summit in London. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-356 Thu, 09 Jun 2011 11:00:00 GMT end=2031-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/351-full.html Oxford computer scientists receive $80,000 Google Research Award to carry out initial research on probabilistic semantic query answering on the Web. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-351 Thu, 02 Jun 2011 11:00:00 GMT end=2031-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/349-full.html Six members of Oxford’s Department of Computer Science have had four papers accepted to the 16th ACM SIGPLAN International Conference on Functional Programming, in Tokyo, Japan in September 2011. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-349 Tue, 31 May 2011 11:00:00 GMT end=2031-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/348-full.html Experimental evidence by Edward Grefenstette and Mehrnoosh Sadrzadeh for the quantum-inspired categorical model for sentence meaning has been accepted for the leading Empirical Methods in Natural Language Processing (EMNLP11) conference. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-348 Tue, 31 May 2011 11:00:00 GMT end=2031-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/347-full.html Four papers, co-authored by Oxford computer scientists will be given at CONCUR 2011 - the 22nd International Conference on Concurrency Theory - during September, in Aachen, Germany. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-347 Fri, 27 May 2011 11:00:00 GMT end=2031-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/344-full.html Oxford researchers have been awarded a Microsoft Research PhD Scholarship to fund new research into automated verification techniques for DNA computing. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-344 Mon, 23 May 2011 11:00:00 GMT end=2031-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/340-full.html Andrew Markham has recently been awarded an Engineering and Physical Sciences Research Council (EPSRC) cross-disciplinary fellowship to undertake research into tracking and monitoring badgers in their underground burrows. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-340 Thu, 19 May 2011 11:00:00 GMT end=2031-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/332-full.html Version 2.2 of Chaste – the Cancer Heart And Soft Tissue Environment – has been released Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-332 Thu, 28 Apr 2011 11:00:00 GMT end=2031-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/328-full.html OUCL authors have six papers at ICALP 2011 including the best paper award. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-328 Fri, 15 Apr 2011 11:00:00 GMT end=2031-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/318-full.html 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. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-318 Thu, 17 Mar 2011 12:00:00 GMT end=2031-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/308-full.html 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 development and validation remains effective and error-free as chips become more complex. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-308 Thu, 17 Feb 2011 12:00:00 GMT end=2031-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/307-full.html 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 found. Computer Scientists from Oxford University are helping tackle this problem. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-307 Fri, 11 Feb 2011 12:00:00 GMT end=2031-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/288-full.html The DIADEM project, lead by Georg Gottlob, is the recipient of an Amazon Web Services research grant in the amount of $7500 for 2011. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-288 Tue, 04 Jan 2011 12:00:00 GMT end=2031-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/281-full.html 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. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-281 Wed, 24 Nov 2010 12:00:00 GMT end=2030-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/280-full.html 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 licence. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-280 Fri, 19 Nov 2010 12:00:00 GMT end=2030-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/275-full.html 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. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-275 Mon, 15 Nov 2010 12:00:00 GMT end=2030-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/194-full.html Lead Researcher(s): Professor Bill Roscoe and Professor Anne Trefethen Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-194 Thu, 29 Apr 2010 11:00:00 GMT end=2030-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/153-full.html <a href="http://www.alphagalileo.org/ViewItem.aspx?ItemId=63102&CultureCode=en">New step for the future Web.</a> 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 universities, will provide evaluation services for different types of semantic technologies. Semantic technologies are at the heart of the future web and are a cornerstone in current computer science. These technologies support the construction of intelligent applications in different domains: business, education, e-government, tourism, healthcare, etc. More specifically, these technologies support information search, integration and interchange by enhancing the meaning of such information. However, semantic technologies must be efficient and robust to support their current and future use in a continuously changing environment where the information available in the Web is exponentially growing. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-153 Tue, 24 Nov 2009 12:00:00 GMT end=2029-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/135-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-135 Tue, 13 Oct 2009 11:00:00 GMT end=2029-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/132-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-132 Wed, 07 Oct 2009 11:00:00 GMT end=2029-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/131-full.html 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. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-131 Mon, 05 Oct 2009 11:00:00 GMT end=2029-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/81-full.html The most recent awards come from four different sources, showing increasing diversification. Among them, two large FP7 collaborations, FOX and CONNECT-IP. Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-81 Wed, 08 Apr 2009 11:00:00 GMT end=2029-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/10-full.html We are delighted to announce the release of Version 2 of the chebfun system, whose aim is computation "with the feel of symbolics and the speed of numerics". <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Research-Projects oucl-Research-Projects-10 Mon, 02 Jun 2008 11:00:00 GMT end=2028-06-28T00:00:00Z;scheme=W3C-DTF;