Matt Windsor

they/he

Hi

Picture of me.

I'm Matt Windsor. I'm a computer science postdoc researcher, currently working in the RoboStar group of the Department of Computer Science at the University of York on the TAS Verifiability Node.

I've previously worked at the Multicore Programming Group at Imperial College London on the Interface Reasoning for Interacting Systems, notably on the C4 project (on which I'm still working as and when I can!)

My main focus is tools and languages for software testing and verification. I have worked, at different times, on:

Projects

Publications