HiPEDS is an integrated Centre for Doctoral Training, supported by EPSRC, Imperial College and industrial partners.
We are looking for the best, brightest, most enthusiastic and talented graduates to join our HiPEDS PhD programme. The opportunity is to do leading-edge research in a rich, lively environment – working with a team of fellow students unified by a desire to create technologies to change the world. In 2014 we launched a new doctoral programme that combines the unique, world-class strengths of Imperial’s Departments of Computing, and Electrical and Electronic Engineering.
The focus is High Performance Embedded and Distributed Systems. This has huge breadth, offering research opportunities ranging from implantable smart sensors to secure cloud service providers, and all points in between. We tackle the technologies and underlying theory that provide the keys to open up new applications, new products, new industries, new businesses, and new solutions to the problems of society.
The HiPEDS CDT programme is not a standard PhD programme. Throughout the 4 years there is considerable emphasis upon multidisciplinary and transferrable skills, through various centre activities beyond the individual PhD research project. The first year of the CDT programme consists of various research training activities, carried out alongside initial PhD work.
Research Topics (for more details see Research Descriptions)
- 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) and 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) and software reliability (Cadar).
This EPSRC Centre for Doctoral Training aims to produce a new generation of leaders with a systems perspective who can transform research and industry involving such systems. The Centre provides a structured and vibrant training programme, enabling our graduates to be capable of integrating and innovating across multiple layers of the system development stack, to maximise the impact of their research, and to acquire creativity, communication, and entrepreneurial skills.