Paul Kelly leads the Software Performance Optimisation group at Imperial College London. His research focus is compiler technology, especially domain-specific program optimisation, leading to close engagement with colleagues in computational science, robotics and computer vision.   He also works in computer architecture, and has published in algorithms, operating systems and verification.