The Parallel Computing Unit

This group's research spans a range of topics in parallel computing, including parallel and concurrent languages, algorithms, data visualisation, rendering, mathematical logic, program construction, large-scale data analysis, and hardware design.

Research aim

The aim of the Parallel Computing Chapter is to develop simple but powerful techniques for writing and reasonings about parallel computing, with application to Scientific Computing, High Performance Computing, Graphics and visualisation, Big Data, and Mobile Computing. Most of our work in done in the context of existing and new parallel and concurrent programming languages, concurrent data-structures, memory models, and logics.




Back to top