Mike Dodds

Mike Dodds

Dr

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. 

Network

IMDEA Software Institute

External organisation: External collaborations

University of Cambridge

External organisation: Funding body

Microsoft Research

External organisation: Unknown

Queen Mary Univ London

External organisation: Not specified

ETH

External organisation: Not specified