Our researchers span across Imperial College and bring technological approaches, together with subject matter expertise, to address challenges in High Performance Computer Systems.

Our research can be grouped into two broad areas:

Design and Optimisation: Embedded systems and distributed systems, hardware and software and digital and analogue systems

• Adaptive and embedded systems (McCann)
• Analogue systems (Papavassiliou, Rodríguez-Villegas, Constandinou, Georgiou, Toumazou)
• Body sensor networks (Lo, Yang)
• Communication and signal processing systems (Dragotti, Leung, Mandic)
• Control and power systems (Kerrigan, Green, Vinter)
• Digital systems and reconfigurable computing (Bouganis, Cheung, Constantinides, Luk, Thomas)
• Distributed software engineering (Kramer, Uchitel)
• Experimental software systems (Pietzuch, Wolf)
• Large-scale sensor networks and clouds (Guo)
• Medical computing systems (Glocker, Kainz, Rueckert, Yang)
• Neuroinformatics (Goodman)
• Optimisation methods and computation (Misener)
• Policy-based autonomous systems (Dulay, Lupu)
• Reliable many-core programming (Donaldson)
• Robust system optimisation (Rustem, Parpas)
• Robotic vision (Davison)
• Software performance optimisation (Kelly)
• Statistical machine learning (Deisenroth, Gyorgy)

Analysis and Verification

• Autonomous system verification (Lomuscio)
• Analysis and verification of concurrent systems and web programs (Calcagno, Drossopoulou, Eisenbach, Gardner, , Yoshida)
• Distributed reasoning (Broda, Russo)
• Mobility and session types (Yoshida)
• Multicore system verification (Donaldson)
• Performance analysis and engineering (Casale, Field,  Knottenbelt)
• Program analysis and security (Hankin, Huth, Maffeis, Wiklicky)
• Systems security and resilience (Lupu)
• Software reliability (Cadar)