I am currently coinvestigator on the following project:

• Data Science Toolkit for Explorable Data Visualisations
  Tools, Practices and Systems Theme, The Alan Turing Institute (PI: Tomas Petricek)

I have also participated in:

• From Data Types to Session Types — A Basis for Concurrency and Distribution (ABCD)
  EPSRC Programme Grant EP/K034413/1 (PI: Philip Wadler; other investigators: Simon J. Gay, Nobuko Yoshida)
• Language-Based Provenance Security
  AFOSR EOARD Research Grant FA8655-13-1-3006 (PI: James Cheney)
• Behavioural Types for Reliable Large-Scale Software Systems (BETTY)
  ICT COST Action IC1201
• Reversible Computation
  ICT COST Action IC1405

Software developed as part of my research activities:

• proof-relevant-pi
  Agda formalisation accompanying the paper Proof-Relevant π-Calculus: A Constructive Account of Concurrency and Causality.
• concurrent-slicing
  Agda formalisation accompanying the paper Causally Consistent Dynamic Slicing.

I have supervised the following undergraduate and postgraduate students:

• UoG Level 4 projects (BSc)
  Seòras McDonald. Time-Travelling Debugger.
  Edwinas Simkus. Live Programming with Error-Driven Code Completion.
• UoG Level 5 projects (MSc)
  Malcolm Stone. Error-Integrated Debugging for a Modelling Tool.
  Nikolaos Theodosis. Object Projection Visualization in Live Programming Tools.