Mike Dodds

Mike Dodds


Former affiliations

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. 

If you made any changes in Pure these will be visible here soon.

Search results