Lecturer (now Professor) at the School of Computing Science, University of Glasgow since April 2004
Previously worked in the electronics industry as a Design Engineer and Technology R&D Engineer
Leads the Low Carbon and Sustainable Computing research theme
Principal Investigator of the EPSRC-funded AppControl project (£1.5m, 2020–2024) on specification enforcement in mission-critical SoCs using CHERI architecture
Principal Investigator of the EPSRC-funded Border Patrol project (£1.75m, 2017–2023) on security for smart devices in critical infrastructure
Background
Professor at the School of Computing Science, University of Glasgow
Lead of the Low Carbon and Sustainable Computing research activity
Research focuses on compilers and runtime systems for energy-efficient heterogeneous architectures
Engaged in broader issues of low carbon and sustainable computing
Research interests include programming languages and parallel architectures such as FPGAs, manycore processors, and GPGPUs