• KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Shared memory concurrency; verification; parallelism; programming languages; compilers; static analysis; hardware architecture design; memory consistency models

Network

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or