HPC-GAP: High Performance Computational Algebra and Discrete Mathematics

EPSRC project (EP/G05553X) to improve the software development technologies for HPC software. Our part of the project is to extend high-level parallel Haskell technologies to large scale HPC platforms. The project is a collaboration with Aberdeen, St Andrews and Edinburgh Universities.

Symbolic Computation Infrastructure for Europe (SCIEnce)

EU FP6 I3 project (026133) with partners at University of St Andrews, Universtität Linz, CNRS, Universität Paderborn, Technische Universiteit Eindhoven, Technische Universität Berlin, Institute e-Austria Timisoara, Waterloo Maple Inc. Our research activities within the project are to provide uniform access to Grid services from Symbolic Computation systems, including GAP, Maple, Mupad and Kant. Specific research directions include the following. Executing large symbolic computations, i.e. computer algebra problems, on computational Grids using our Grid-enabled parallel Haskell (GpH). Investigating improved scheduling mechanisms for these highly-irregular parallel computations.

High Level Programming for Computational Grids

Performance Evaluation of Parallel Functional Programs

High-Level Architecture Independence via Parallel Graph Reduction

APSET

Parade