Techniques for efficient analysis of complex data.

Researching new technologies for better communication, health applications, and lifestyle.

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.

Solar energy technologies.

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.

Studying the fundamental issues underlying machine vision algorithms and autonomy of robotic systems.

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.

Researching new materials, effective methods of engineering computation, production processes and the environments in which they operate.

Research into the basic science of materials used in semiconductor and photovoltaic solar cells.

Greatly increasing the productivity of people developing software.

High and low temperature solar-thermal technologies.

Research in automatic control and systems theory includes fundamental and applied work in swarms and multiagent systems, complex and dynamical networks, and quantum control.