Matt Windsor

PhD current working title of project: Logics and tools for safe fine-grained concurreny.

Research interests: Verification of low-level concurrency.  Specifically using lightweight formal methods to build tools for automatically verifying challenging concurrent algorithms and data structures.

Country of origin: England

Institution/country where you studied your undergraduate/masters degree(s): MEng Computer Systems and Software Engineering, University of York, UK.

Personal research website