Techniques for efficient analysis of complex data.

The AI Group conducts research on machine learning, reasoning and planning. We study fundamental limits and principles of learning from data, relationships between machine learning problems, development of efficient algorithms for a range of machine learning tasks, connections between machine learning and computer vision, reasoning about spatial data, and automated planning and scheduling.

Research at the boundary between hardware and software, including the design of better hardware and software to meet the performance and energy requirements of the future.

Research the interface between humans, data and computers: to build systems which extract humanly comprehensible patterns from data and systems which better understand people so they are more naturally responsive and interactive with us.

Logical reasoning is a fundamental aspect of our everyday lives and is a vital part of our intelligence. The core theme of the Logic and Computation Group is to discover, invent and implement practical automated or interactive reasoning techniques using logic, and to apply them to reason formally about the real world.

Greatly increasing the productivity of people developing software.