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
Prof
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