Mike Dodds
Dr
Former affiliations
- Anniversary Research Lecturer, Computer Science
- PhD, Computer Science
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.