I am a senior lecturer in the School of Computing Science at the University of Glasgow. My main research themes are Compilers and Runtimes for Programming Languages. I am a member of the Systems Research section at Glasgow. You can find out more about my research, or browse through my publications list. I am a Senior Member of the ACM.

Research Projects

• Capable VMs, 2020-2024, funded by EPSRC. See [project website].
• MaRIONet: Manycore Research Innovation and Opportunities Network, 2016-20, funded by EPSRC. See [network website].
• FRuIT: Federated Raspberry Pi Micro-Infrastructure Testbed, 2017-2019, funded by EPSRC. See [project website].
• AnyScale Apps, 2013-17, funded by EPSRC.

People I work with

I supervise the following PhD students at Glasgow:

• Niall Barr
    Tools to support Domain Specific Language development and Product Family Engineering
• Dejice Jacob
    Synthesis, cost calculation and deployment for variant execution on heterogeneous systems
• Adrian Ramsingh
    Seamless Composition of Programming Frameworks
• Yousef Alhaizaey
    Task Scheduling for Heterogeneous Edge Micro Clusters

Completed PhDs:

• Khaled Alnowaiser
    Garbage collection optimization for non uniform memory access architectures [Thesis]
• Dhahi Alshammari
    Evaluation of cloud computing modelling tools: simulators and predictive models [Thesis]

I am always looking for talented Computer Scientists who want to study for a systems research PhD at Glasgow. Please contact me if you intend to apply.

Service

I am a peer review college member for EPSRC. From 2016-18, I was the Graduate Academy director for SICSA, with responsibility for enhancing PhD experience for Scottish Computing Science students. I am external examiner for undergraduate programmes in Computer Science at the University of Surrey. I am on the editorial board of the Computer Journal.

Useful Links

• Check out my textbook on Operating Systems Foundations with Linux on the Raspberry Pi
• I co-developed a Functional Programming in Haskell MOOC
• I co-developed a Teaching Data Science MOOC
• Raspberry Pi Cloud project
• Recycle your Raspberry Pi
• My Software Engineering mini-lectures on ITunesU
• http://orcid.org/0000-0001-9462-6802