Register

Imperial College London

United Kingdom · QS #2
Visit website
Programs145
Departments10
Professors686
Reset

46 professors

Abbas Edalat

Computer Science
Differentialintegral calculuscomputational geometry

Alastair Donaldson

Computer Science
Formal verification for multicore softwaresoftware performance optimization

Aldo Faisal

Computer Science
Neurotechnologybiomedical engineeringmachine learning

Alessio Lomuscio

Computer Science
Verificationassurance of AI-based systemsvalidation of computer vision systems

Andrew Davison

Computer Science
Computer visionroboticsSimultaneous Localisation

Antoine Cully

Computer Science
Roboticsartificial intelligencerobot learning

Azalea Raad

Computer Science
Programming languagesformal methodsverification

Ben Glocker

Computer Science
Biomedical image analysiscomputer visionsemantic image understanding

Ben Livshits

Computer Science
Blockchainsecurityprivacy

Bernhard Kainz

Computer Science
Machine learningvisualisationinteractive real-time image processing

Cristian Cadar

Computer Science
Software engineeringcomputer systemssoftware security

Dalal Alrajeh

Computer Science
Formal methodssoftware engineeringartificial intelligence for correct software

Dario Paccagnan

Computer Science
Game theorycontrol theorymathematical programming

Edward Johns

Computer Science
Robot learningrobot manipulationdeep learning

Emil Lupu

Computer Science
Securityresilience of enterpriseIoT

Francesco Belardinelli

Computer Science
Designingdeveloping safe AI systems by using formal methodsspecification

Francesco Leofante

Computer Science
AI explainabilityAI safetyAlignment

Giuliano Casale

Computer Science
Quality-of-Serviceresource managementedge computing

Hamed Haddadi

Computer Science
User-centred systemsnetworkingapplied machine learning

Holger Pirk

Computer Science
Data managementdatabase systemsanalytical query processing

Hongxiang Fan

Computer Science
Computer ArchitectureHardware SystemMachine Learning

Iain Phillips

Computer Science
Theory of concurrencyreversible computation

Jiankang Deng

Computer Science
Computer visionmachine learninggenerative AI

Julie McCann

Computer Science
Advanced connectivityintegrated sensingcommunications

Kin Leung

Computer Science
Communication networksdistributedquantum computing