Compiler

University of Leeds - Turing Intelligence Technology Ltd KTP
Innovative UK, PI, 2024 - 2026
M4Secure: Making Memory Management More Secure
EPSRC, 2023 - 2026
GEM: translational software for outbreak analysis
WelcomeTrust, 2020 - 2021
Energy and Performance Optimisation for Mobile Systems
EPSRC iCASE Studentship with ARM Ltd, 02/2016 - 08/2019
SANDeRs: Smart, Adaptive Compilation for Dark Silicon
EPSRC, 06 / 2015 - 12 / 2017