Accessibility statement

High Integrity Systems Engineering

MB Windsor
Research Associate


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.


  • 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)


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.


Contact details

Department of Computer Science
University of York
Deramore Lane
YO10 5GH

Phone: +44 (0)1904 325500

Office: CSE/011-1


Research Group: