Research staff

The research in the Department is organised into eleven themes, each reflecting common research interests. Each theme has a number of research groups that provide the infrastructure for targeted research and support for PhD students and postdoctoral researchers. Many academics work collaboratively across a number of themes.

Our themes

Analysis and Verification

Verification is the act of proving or disproving the correctness of intended algorithms and there underlying systems.

Artificial Intelligence

Artificial Intelligence research encompasses foundational studies in Logic and a variety of Artificial Intelligence disciplines.

Data Science

Data Science enables us to develop novel insights into human, physical, and societal phenomena through the analysis of massive and complex data sets.

Research Themes

Programming Languages

Programming Languages spans foundational issues in language semantics right through to the design and implementation of new languages.

Cyber Security

Cyber Security is a fundamental concern in computing systems, ranging from low-level hardware, to operating systems, to high-level cloud computing.

Software Engineering

Software Engineering research addresses the challenges of building dependable, adaptive and secure distributed systems.

Research Themes

Systems

Systems research addresses practical and theoretical design, architectural and implementation challenges when realising efficient and reliable software and hardware systems.

Theory and Algorithms

Theory and Algorithms research has broad implications for decision making in engineering, energy, healthcare, and security.

VC

Visual Computing

Visual Information Processing research covers a range of topics including vision, intelligent behaviour understanding, and biomedical image computing.

Research Themes

Quantum Computing

Quantum Computing research in the Department of Computing at Imperial includes the study of quantum algorithms, quantum error correction, quantum compilation and quantum machine learning.

Robotics

Robotics research in the department of computing at imperial spans overlapping themes including electrical and mechanical engineering, sensors and digital hardware, machine learning and reinforcement learning, autonomous and multiagent systems, human–robot interaction and social robotics, as well as cognitive and computational psychology.