I work to make software development easier and more accessible, so that every programmer can easily write, maintain, and optimise software. I maintain a list of must-read research papers on machine learning in compilers.
I am interested in solving real-world problems by building working prototypes to be tested in real-life environments and real computing hardware using realistic workloads. I lead the Intelligent Systems Software Lab.
Scholarships are available for outstanding candidates. Being an advisor to students is the best part of my job. Have a look at my research interests and recent publications. If any of those grab you, send me an email with a CV and a short text describing your background. I am also open-minded if you have a great idea you would like to pursue, get in touch! Before applying, please read this page.
I am Professor of Intelligent Software Technology in the Distributed Systems and Services Group at Leeds. I am a member of the EPSRC Peer Review College, the UKRI Talent Peer Review College, and the HiPEAC Network of Excellence. I was previously a Turing Fellow at The Alan Turing Institute.
I was named among the Elsevier–Stanford World’s Top 2% Scientists (2020–2024).
I am honoured to have received:
- Meta Research Award (2023)
- Test-of-Time Award (CGO 2024)
- Distinguished Paper Award (ACM CGO 2025)
- Best Paper Awards (ACM PACT 2010 & 2017, ACM CGO 2017 & 2019)
- Best Presentation Awards (PACT 2010, CGO 2013)
- HiPEAC Paper Awards (×4)
- Best Paper Nominations/Finalist (ACM SC 2024, ACM SenSys 2019, ACM CCS 2018)
I am also listed in the unofficial CGO Hall of Fame. I have both an Erdős Number and a Dijkstra Number of four.
June 2025: We have a Research Fellow Post openning. Apply here before 2nd July 2025.
For more information, see the group page.
The Royal Society, PI, 2025 - 2029
Innovative UK, PI, 2024 - 2026
EPSRC, PI, 2023 - 2026
EPSRC, PI, 2023 - 2025
Industry, PI, 2021 - 2024
Facebook (Meta) Faculty Award, PI, 2021 - 2024
Alibaba, PI, 2021 - 2022
Alibaba, PI, 2021 - 2022
The Royal Society International Collaboration Grant, PI, 03/2020 - 03/2022
White Rose Collaboration Grant, CoI, 2020 - 2021
Research England, CoI, 2020
WelcomeTrust, Co-PI, 2020 - 2021
The Royal Society International Collaboration Grant, PI, 03/2017 - 03/2019
EPSRC iCASE Studentship with ARM Ltd, PI, 02/2016 - 08/2019
EPSRC, PI, 06 / 2015 - 12 / 2017
EPSRC, PI, 01 / 2015 - 12 / 2016
EPSRC, CoI, 12 / 2013 - 12 / 2016
Lancaster FST Small Grant, PI, 01 / 2014 - 12 / 2014
Lancaster University Early Career Grant, PI, 09 / 2013 - 08 / 2014