|
|
|
|
|
Current Projects:
Previous Projects
Current Grants:
- High-Level Technique for Distributed Telecommunications Software
- The project aims to evaluate distributed functional programming techniques for
realistic telecommunications applications.
- ESPRC GR/R 88137 (11/2002 - 11/2005)
- Phil Trinder,
David King.
- Evaluating Functional Distribution
- Evaluating two non-strict distributed functional languages, namely Eden, and GdH.
- British Council/DAAD funded travel grant, Project No. 1097 (7/1999 - 3/2003)
- Phil Trinder,
Rita Loogen,
Kevin Hammond .
- Performance Evaluation of Parallel Functional Programs for Multiprocessor Computer Systems
- The project aims to evaluate the performance of the Eden and GpH parallel
functional programming languages, and to construct frameworks for reasoning about them.
- British Council/Acciones Integradas travel grant, Project No. MDR 8472 (6/2000 - 6/2002)
- Phil Trinder,
Ricardo Pena,
Yolanda Ortega-Mallen,
Kevin Hammond.
- NuSPADE: Automatic Guidance for the Formal Verification of High Integrity Ada
- An investigation into the role that Proof Planning can play within the formal verification of software.
This 3-year project is in collaboration with Praxis Critical Systems and is funded under the EPSRC Critical Systems
Programme.
- EPSRC GR/R 24081 (01/09/2001 - 31/08/2004)
- Andrew Ireland,
Julian Richardson.
- Performance Modelling
- EMU EPSRC
- Rob Pooley,
Peter King.
- Ophelia
- The OPHELIA (Open Platform and metHodologies for devELopment tools
IntegrAtion ) project is a European-funded research project that aims to
produce a framework to support the information systems development
lifecycle.
- EU FP5
- Rob Pooley,
Lachlan,
Rick,
Pauline
Previous Grants
|
|
