Paul Kelly is working on domain-specific program optimisation and program generation. He was the lead computer scientist behind Firedrake, which automates the finite element method, and Devito, which automates the finite difference method, both with large and active user communities. He is Industrial Liaison Director of Imperial’s CDT in High-Performance Embedded and Distributed Systems, co-director of Imperial’s Centre for Computational Methods in Science and Engineering, and an Academic Fellow of Imperial’s Data Science Institute. He has led many large research grants, including in 2010 three simultaneous, large coordinated projects (two funded by the EPSRC’s 2010 ‘Extreme Computing Sandpit’, the third with Rolls Royce). He also has a strong record as a computer scientist in domain-led consortia, notably EPSRC platform grants in simulation methods, and the ExCALIBUR Gen-X working group. QUENCH will benefit from his experience in software performance optimisation in general and tensor contraction in particular.