GR/R32666 & GR/32895 - COHERENT Project - "COmputational HEteRogEneously timed NeTworks" jointly at The University of Newcastle and Kingston University.
GR/R16754 - BESST Project - "Behavioural Synthesis of Systems with Heterogeneous Timing" at The University of Newcastle.
GR/R53340 & GR/R52299 - "VLSI Structures for Globally Asynchronous Locally Synchronous Systems" jointly at The University of Manchester and Cambridge University.