Mike Dodds - Projects - York Research Database

Accepting PhD Students

PhD projects

I am happy to supervise PhD students in any of my areas of interest. These include: multicore data-structures; verification and correctness; program logic; concurrency semantics.

2 results

Finished

Royal Society Industry Fellowship
Dodds, M. (Principal investigator)
THE ROYAL SOCIETY
4/09/15 → 31/08/17
Project: Research project (funded) › Research
Principled Reasoning About Liveness
Dodds, M. (Principal investigator)
1/04/15 → 31/03/17
Project: Research project (funded) › Research