I am (full) Professor of Intelligent Software Technology at the School of Computing at the University of Leeds.
My research agenda is 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 for machine learning in compilers.
My research interests include:
PhD students: 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! Please read here before applying.
I am a member of the Distributed Systems and Services Group at Leeds, the EPSRC Peer Review College, the UKRI Talent Peer Review College (PRC), and the HiPEAC Network of Excellence. I was a Turing Fellow at The Alan Turing Institute, I am a recipient of the Best Paper Award in ACM PACT 2010 and 2017, ACM CGO 2017 and 2019, Best Presentation Award at PACT 2010 and CGO 2013, 3 HiPEAC paper awards, and Best Paper Nomination/Finalist in ACM CCS 2018 and ACM SenSys 2019. I am in the unofficial CGO hall of fame. I have an Erdős Number of four and a Dijkstra number of four.
We are looking to hire a 2-year research fellow to work on transferring machine learning based code optimisation techniques into industry settings.
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