Mike Dodds

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Dr. Mike Dodds

(Former)

View all (22) »

View all (2) »

PhD opportunities

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. 

    Research areas

  • QA75 Electronic computers. Computer science - Verification, Concurrency, Semantics, Logic

Latest activities and conferences