Teaching & Supervision
PhD Supervision
I have been involved in the supervision of the following PhD students:
Chalee Boonprasop (University of St Andrews)
Sheriffo Ceesay (University of St Andrews, 2020) Thesis:
A Grey-box Approach to Benchmarking and Performance Modelling of Data-Intensive Applications
Student Projects
Connor Lurring (Senior Honours Project, distinction; University of St Andrews, 2021, Cosupervisor): AWS EC2 Spot Pricing Repository
Jack Briggs (MSc project, distinction; University of St Andrews, 2019, Cosupervisor): Automated Bayesian optimization for cloud configurations across multiple providers using a generalizable framework. [pdf]
Francesco La Marca (MSc project, distinction, Heriot-Watt University, 2017, Cosupervisor): Refactoring Dafny programs
Pierre Le Bras (UG Hounour, distinction; Heriot-Watt University, 2015, Cosupervisor): Web-Based Interface for Graphical Proof Strategies. [pdf]
Undergraduate Summer Projects June 15 - Aug 15
School of Mathematical & Computer Sciences, Heriot-Watt University
Teaching
Co-lecturing: CS5052 Data-Intensive System, University of St Andrews, 2021
Tutorial: CS1003 Programming with Data, University of St Andrews, 2021
Coursework assistant, CS5052 Data-Intensive System, University of St Andrews, 2019
Demonstrator: Object-Oriented Programming, Computer Programming Skills and Concepts, Automated Reasoning; the University of Edinburgh; 2012-2013