Two of the department’s professors – Ursula Martin and Blanca Rodriguez – have been chosen to receive Impact Awards by the Mathematical, Physical, Engineering and Life Sciences (MPLS) Division at the University of Oxford.
February 1, 2018 The Vector Institute congratulates all members of the inaugural cohort of the Vector Institute Postgraduate Affiliate Program. Established this year, the program will foster collaboration and contributions […] The post Vector Institute Launches Inaugural Postgraduate Affiliate Program appeared first on Vector Institute for Artificial Intelligence .
After three years of collaboration between industry and academia and €4 million of funding from the European Commission's Horizon 2020 program, the ALIGNED project has successfully rolled out five trial platforms showcasing its success in applying the latest big-data research findings to solving the problems of industry.
We’re releasing a new batch of seven unsolved problems which have come up in the course of our research at OpenAI.
There have been reports in the press this week of how the examination length for students taking examinations in the Department of Computer Science at the University of Oxford was extended in summer 2017. We would like to emphasise that the extension was applied to all students taking those examinations and was for academic reasons.
The Oxford Mathematics Institute and the British Society for the History of Mathematics will host a session on the ‘History of Computing beyond the Computer’ on 21-22 March.
A team from the department led by Professor Cas Cremers has been working with Facebook software engineer Jon Millican to improve the security of group messaging.
Official technical announcement and publication from OpenAI covering Scaling Kubernetes to 2,500 nodes.
A research team from the Department of Computer Science and the Department of Engineering has won ‘the outstanding student paper’ at one of the premier venues for publishing AI research: AAAI-18, the Association for the Advancement of Artificial Intelligence’s conference.
‘Privacy-preserving analytics in, or out of, the cloud’ is the title of the next Strachey Lecture, to be delivered by Professor Jon Crowcroft from the University of Cambridge, on 6 March
The fifth Oxbridge Women in Computer Science Conference will be held on 15 March 2018 in Cambridge, UK.
TheySay, a sentiment analysis company spun out from the Department of Computer Science, has been acquired by Aptean, a global provider of mission-critical enterprise software solutions.
Applications have opened for places on the University of Oxford’s free UNIQ summer school. Twenty young people will be chosen to participate in the Computer Science stream from 15 to 20 July 2018, alongside more than 30 other subjects on offer from the University.
The news media’s role in the flow of news content on Twitter during the 2017 UK General Election has been analysed by a team from the Reuters Institute for the Study of Journalism (RISJ) and the Department of Computer Science.
The winter 2017 edition of Inspired Research, the newsletter covering the department's latest news in research, teaching and social activities, is now online.
The University of Oxford is to showcase artificial intelligence (AI) research across the whole University with a one-day expo on 27 March 2018.
To help speed up code writing, many app developers use common libraries, but this can result in such libraries getting access to significant privileges on a device. DPhil student Vincent Taylor describes the problem and his research in the area
Project: D-RisQ Official Title: Automated Verification and Validation for Defence, Aerospace and Automotive Embedded Software
Project: Secerno Official Title: Securing Data with Database Firewall
Project: Semmle Official Title: Semmle: a powerful query language for analysing large data sources
A new book on the code of ethics by Senior Researcher Paula Boddington has just been published.
The podcast of Professor Bjarne Stroustrup of Columbia University’s Strachey Lecture on ‘The Continuing Evolution of C++’ is now available on our website.
State-of-the-art reasoning systems developed by Oxford's Information Systems Group (ISG) have underpinned the standardisation of ontology languages, and play a critical role in numerous applications. For example, ISG's HermiT reasoner is being used by Électricité de France (EDF) to provide bespoke energy saving advice to 265,000 customers in France, and it is planned to roll out the use of the sys
Embedded software in the transportation sector (railway, automotive and avionics) needs to meet high reliability requirements because errors may have severe consequences. Research since 2008 by Daniel Kroening’s group at Oxford has developed effective reasoning technology to provide assurance that key error types are eliminated from embedded software, and has created novel algorithms to prove its
A Marie Claire article about the potential risks from voice-activated smart speakers quotes the views of our Research Fellow Jason R.C. Nurse.
Professor Michael Wooldridge describes his experience giving evidence to the House of Lords Select Committee on Artificial Intelligence
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
Professor Marina Jirotka and Senior Researcher Helena Webb consider what can be done by government and social media platforms to tackle the problem of fake news
A clearer understanding of badgers' territorial habits give vital clues to the likely effectiveness of badger culls
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
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
A painting of alumna Anne-Marie Imafidon (2006, Mathematics and Computer Science) is among a new range of portraits that went on display at an exhibition in Oxford’s Weston Library on 24 November.
We’re releasing highly-optimized GPU kernels for an underexplored class of neural network architectures: networks with block-sparse weights. Depending on the chosen sparsity, these kernels can run orders of magnitude faster than cuBLAS or cuSPARSE. We’ve used them to attain state-of-the-art results in text sentiment analysis and generative modeling of text and images.
Professor Marina Jirotka was one of the contributors to a major report by academics that is calling for a digital environment that is ‘fit for childhood’
Jolie completed both her BA and DPhil at the Oxford University Computer Laboratory (the department’s former name). Her time armed her with the core skills for her current role in systematic trading in the quantitative finance industry
Official technical announcement and publication from OpenAI covering Learning sparse neural networks through L₀ regularization.
Official technical announcement and publication from Oxford (AIDC) covering Head of Department contributes to the 2017 AI Index Report.
‘Where have all the cicadas gone?’ is the question addressed by Professor Alex Rogers in the latest podcast released by Oxford Sparks.
Three teams from the Department of Computer Science showed off their skills in a programming teamwork challenge on 24 November.
Professor Ursula Martin, Senior Research Fellow in Computer Science, was conferred with an honorary degree by the University of London’s Chancellor, Her Royal Highness The Princess Royal, in recognition of achievements in mathematics and computer science.
DPhil student Klaudia Krawiecka has won a national competition in Finland for the best information security thesis. She was the first woman to receive the award, which was presented at a ceremony on 24 October in Helsinki.
Official technical announcement and publication from Oxford (AIDC) covering Fourteen papers accepted to the 32nd AAAI Conference on Artificial Intelligence.
Official technical announcement and publication from Oxford (AIDC) covering Booking.com Women in Technology Scholarships.
DPhil student Maarten Scholl won the Best Quantitative Finance MSc Thesis Award for his thesis entitled ‘The Role of Central Clearing Parties in Over-the-Counter Derivatives Markets’ on 3 November.
A free webinar on 22 November will provide insights into the latest research on high performance computational (HPC) simulations of cardiac electrophysiology using patient specific models of the whole heart.
Computer Science at Oxford came first in the 2018 UK university subject league tables compiled by the Complete University Guide.
Researchers from our department showcased their work in relation to Internet innovation, security and freedom at this year’s MozFest, an annual event that celebrates the open Internet movement
EPSRC has awarded Tim Muller of our security research group an EPSRC First Grant to help with the battle against fake reviews online.
Members of our Department have co-authored five papers that have been accepted by the top conference in programming languages, The ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).
Graduate student Daniel Nichol, alongside four students from the Department of Mathematics, attended the 5th Heidelberg Laureate Forum (HLF) in late September.
Official technical announcement and publication from OpenAI covering Interpretable and pedagogical examples.
TORONTO October 31, 2017 – The Vector Institute today announced that ten new faculty members will join its team of leading researchers in machine learning, deep learning and artificial intelligence […] The post News Release: Vector Institute Doubles Team of World-Class AI Faculty appeared first on Vector Institute for Artificial Intelligence .
Oxford entered nine teams of students in UKIEPC, a contest testing programming skills, problem solving and teamwork.
We’ve developed a hierarchical reinforcement learning algorithm that learns high-level actions useful for solving a range of tasks, allowing fast solving of tasks requiring thousands of timesteps. Our algorithm, when applied to a set of navigation problems, discovers a set of high-level actions for walking and crawling in different directions, which enables the agent to master new navigation tasks
Professor Boris Motik has been awarded a three-year fellowship extension by EPSRC for his work on intelligent information systems.
Official technical announcement and publication from Oxford (AIDC) covering Women in STEM Welcome Event - Tuesday 24 Oct, 6-8PM, Oxford Town Hall.
The final workshop of the EPSRC-funded project ‘Social Machines of Mathematics’ will focus on enabling mathematical cultures on 5-7 December at the Mathematics Institute
Our latest robotics techniques allow robot controllers, trained entirely in simulation and deployed on physical robots, to react to unplanned changes in the environment as they solve simple tasks. That is, we’ve used these techniques to build closed-loop systems rather than open-loop ones as before.
Computer Science at the University of Oxford has again topped the Times Higher Education rankings by subject for the UK.
The Careers in Computing Fair will be held on Tuesday 24 October from 3-6pm in the Robert Hooke Building on Parks Road.
Official technical announcement and publication from OpenAI covering Asymmetric actor critic for image-based robot learning.
Official technical announcement and publication from OpenAI covering Sim-to-real transfer of robotic control with dynamics randomization.
Official technical announcement and publication from OpenAI covering Domain randomization and generative models for robotic grasping.
The BBC has published a feature article describing the potential of quantum computing to transform the internet, with comments from Senior Research Fellow Jamie Vicary.
DPhil student Artem Kaznatcheev's blog has been nominated by Science Borealis as one of Canada's top 12 science blogs.
Official technical announcement and publication from Oxford (AIDC) covering Mike Wooldridge on record speaking at House of Lords.
We show that for the task of simulated robot wrestling, a meta-learning agent can learn to quickly defeat a stronger non-meta-learning agent, and also show that the meta-learning agent can adapt to physical malfunction.
We’ve found that self-play allows simulated AIs to discover physical skills like tackling, ducking, faking, kicking, catching, and diving for the ball, without explicitly designing an environment with these skills in mind. Self-play ensures that the environment is always the right difficulty for an AI to improve. Taken alongside our Dota 2 self-play results, we have increasing confidence that self
Mariam Nouh has won third place in the ACM Student Research Competition (Graduate Category) at the Grace Hopper Conference in Orlando.
Martin Strohmeier’s DPhil dissertation titled ‘Security in Next Generation Air Traffic Communication Networks’ has received a commendation and been published on the BCS website.
Members of the Department’s Human Centred Computing group (HCC) took part in the Curiosity Carnival on 29 September.
Official technical announcement and publication from Oxford (AIDC) covering The Virtual Assay software is the winner of the Safety Pharmacology Society Technological Innovation Award 2017.
Official technical announcement and publication from OpenAI covering Nonlinear computation in deep linear networks.
TORONTO September 26, 2017 — The Board of Directors of the Vector Institute today announced the appointment of its first President and CEO, Dr. Garth Gibson. His appointment is effective January […] The post News Release: Vector Institute appoints Dr. Garth Gibson as President and CEO appeared first on Vector Institute for Artificial Intelligence .
We’re releasing an algorithm which accounts for the fact that other agents are learning too, and discovers self-interested yet collaborative strategies like tit-for-tat in the iterated prisoner’s dilemma. This algorithm, Learning with Opponent-Learning Awareness (LOLA), is a small step towards agents that model other minds.
Official technical announcement and publication from Oxford (AIDC) covering Third and Fourth year student prizes awarded.
Official technical announcement and publication from Oxford (AIDC) covering New paper shows that In Silico drug trials can be more accurate than animal testing.
Official technical announcement and publication from OpenAI covering Learning with opponent-learning awareness.
Official technical announcement and publication from Oxford (AIDC) covering Coordinated European taskforce will be trained to develop the vision of a Personalised In-Silico Cardiology.
Official technical announcement and publication from Oxford (AIDC) covering Professor Ian Horrocks is a new honorary doctorate at University of Oslo.
Official technical announcement and publication from Oxford (AIDC) covering Professor Ursula Martin named as one of 50 new fellows of the Royal Society of Engineering.
Official technical announcement and publication from Oxford (AIDC) covering Jamie Vicary awarded Royal Society University Research Fellowship.
Official technical announcement and publication from Oxford (AIDC) covering Securing Augmented Reality - Paper accepted at ACSAC 2017!.
We’re releasing two new OpenAI Baselines implementations: ACKTR and A2C. A2C is a synchronous, deterministic variant of Asynchronous Advantage Actor Critic (A3C) which we’ve found gives equal performance. ACKTR is a more sample-efficient reinforcement learning algorithm than TRPO and A2C, and requires only slightly more computation than A2C per update.
Official technical announcement and publication from Oxford (AIDC) covering IMAX event features research from Blanca Rodriguez and her team.
Official technical announcement and publication from Oxford (AIDC) covering First year undergraduate student prizes awarded.
Our Dota 2 result shows that self-play can catapult the performance of machine learning systems from far below human level to superhuman, given sufficient compute. In the span of a month, our system went from barely matching a high-ranked player to beating the top pros and has continued to improve since then. Supervised deep learning systems can only be as good as their training datasets, but in s
Some freely available tools to detect threats to mobile device users from fake mobile phone towers, also called stingrays and International Mobile Subscriber Identity (IMSI) catchers, have been shown to have major shortcomings in a recently presented paper
We’ve created a bot which beats the world’s top professionals at 1v1 matches of Dota 2 under standard tournament rules. The bot learned the game from scratch by self-play, and does not use imitation learning or tree search. This is a step towards building AI systems which accomplish well-defined goals in messy, complicated situations involving real humans.
Official technical announcement and publication from Oxford (AIDC) covering Book list for Book Lovers Day.
RL-Teacher is an open-source implementation of our interface to train AIs via occasional human feedback rather than hand-crafted reward functions. The underlying technique was developed as a step towards safe AI systems, but also applies to reinforcement learning problems with rewards that are hard to specify.
Official technical announcement and publication from Oxford (AIDC) covering OBEA Investors in Education Award.
Official technical announcement and publication from Oxford (AIDC) covering Towards a code of ethics in AI.
We’ve found that adding adaptive noise to the parameters of reinforcement learning algorithms frequently boosts performance. This exploration method is simple to implement and very rarely decreases performance, so it’s worth trying on any problem.
Official technical announcement and publication from Oxford (AIDC) covering Thesis awarded the ACP Doctoral Research Award.
Official technical announcement and publication from Oxford (AIDC) covering New research to be unveiled at Black Hat conference this week.
Official technical announcement and publication from Oxford (AIDC) covering Leslie Fox honoured with blue plaque.
Official technical announcement and publication from Oxford (AIDC) covering New research paper puts the case for an 'ethical black box' for robots.
We’re releasing a new class of reinforcement learning algorithms, Proximal Policy Optimization (PPO), which perform comparably or better than state-of-the-art approaches while being much simpler to implement and tune. PPO has become the default reinforcement learning algorithm at OpenAI because of its ease of use and good performance.
Official technical announcement and publication from Oxford (AIDC) covering Professor Marta Kwiatkowska announced as Milner Award Medallist.
6542 articles sourced historically · 100 per page