Edinburgh Research Explorer

Pervasive Parallelism CDT

Organisational unit: Sub-School

Contact information

10 Crichton Street
United Kingdom

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.

Research outputs

  1. Property-Directed Verified Monitoring of Signal Temporal Logic

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

View all (1) »

ID: 69879555