• 10 Crichton Street

    EH8 9AB Edinburgh

    United Kingdom

Organization profile

Organisation profile

Centre for Doctoral Training in Pervasive Parallelism

The EPSRC Centre for Doctoral Training (CDT) in Pervasive Parallelism addresses the most disruptive challenge faced by the computing industry for 50 years. Driven by performance and energy constraints, parallelism is now crucial to all layers of the computing infrastructure, from smartphones to globally distributed systems.

Research conducted within the CDT tackles the many urgent interconnected problems raised by parallel systems. How do we design programming languages for such systems? How should the architecture be structured? Which theories, tools and methodologies will allow us to reason about the behaviour of this new hardware and software?

We urgently need answers to these questions to maintain the familiar pace of technological progress, and the benefits it brings to so much of modern life. Spanning theory and practice, the centre addresses this "pervasive parallelism challenge", educating the graduates who will undertake the fundamental research and design required to transform methods and practices. Our students develop not only deep expertise in their own specialism, but crucially, an awareness of its relationships to other facets of the challenge. These cross-cutting synergies will enable us to unlock the true potential of current and future technologies.


Dive into the research topics where Pervasive Parallelism CDT is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
  • Property-Directed Verified Monitoring of Signal Temporal Logic

    Stark, I. & Wright, T., 2 Oct 2020, Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings. Springer, p. 339–358 20 p. (Lecture Notes in Computer Science; vol. 12399).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution