Compiler

University of Leeds - Turing Intelligence Technology Ltd KTP

Innovative UK, PI, 2024 - 2026

M4Secure: Making Memory Management More Secure

EPSRC, PI, 2023 - 2026

GEM: translational software for outbreak analysis

WelcomeTrust, Co-PI, 2020 - 2021

Energy and Performance Optimisation for Mobile Systems

EPSRC iCASE Studentship with ARM Ltd, PI, 02/2016 - 08/2019

SANDeRs: Smart, Adaptive Compilation for Dark Silicon

EPSRC, PI, 06 / 2015 - 12 / 2017

ALEA: Abstraction-Level Energy Accounting for Many-core Programming Languages

EPSRC, CoI, 12 / 2013 - 12 / 2016

Energy and Performance Optimisaiton on Mobile

Lancaster FST Small Grant, PI, 01 / 2014 - 12 / 2014

Energy-efficient Optimisation for Data Centres

Lancaster University Early Career Grant, PI, 09 / 2013 - 08 / 2014