Involved in multiple EPSRC-funded research projects
Supervised several PhD students and completed multiple PhD theses
Served as program chair or member for various academic conferences
Published in multiple journals and conferences
Authored textbooks on Operating Systems Foundations and SSA-Based Compiler Design
Developed several online courses including a Functional Programming in Haskell MOOC, a Teaching Data Science MOOC, and a Computational Thinking in JavaScript specialization for Coursera
Background
Professor of Computer Systems and Programming Languages, with main research themes in Compilers, Language Runtimes, and Cybersecurity. Leads the Systems Research section at the University of Glasgow.