I’m mainly interested in the correctness of concurrent software, and making both tools and notations for exploring it. In my current work, this takes the form of robots and autonomous systems, but previously I’ve been interested in exploring the output of C compilers, and memory safety properties of fine-grained concurrent algorithms.
This is my second Research Associate position since my PhD - I worked with Ally Donaldson and John Wickerson at Imperial College London from 2018 to 2021 on testing the concurrency support of C compilers.
Previously, I’ve worked as an intern at Microsoft Research (2016 and 2017), with Claudio Russo on prototype support for Haskell-style typeclasses in the Roslyn C# compiler.
Phone: +44 (0)1904 325500Office: CSE/011-1
E-mail: Send e-mail using web form