I led or co-led the following projects:

• Data-Linked Visualisations (Dec 2021 to May 2022)
  Tools, Practices and Systems Theme, The Alan Turing Institute
• Data Science Toolkit for Explorable Data Visualisations (Jan to May 2019)
  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:

• fluid
  Functional programming language implementing the ideas in Linked Visualisations via Galois Dependencies.
• 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.