MB Windsor
Research Associate

Interests

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.

Qualifications

• MEng in Computer Systems and Software Engineering, University of York 2010–2014 (1st)
• PhD in Computer Science, University of York 2014–2020 (with Mike Dodds and Radu Calinescu)

Career

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.