Current grants

  • Principal Investigator
    Using Learning to Support the Development of Embedded Systems
    Funding Body: EPSRC
    Value: £438,711.60
    Duration: 2007-2011
  • Co-Investigator
    SEBASE: Software Engineering By Automated SEarch (SEBASE)
    EPSRC Grant Ref: EP/D052785/1
    Value: £764,524
    Duration: 2006-2011
  • Principal Investigator
    Dependable use of FPGAs (part of SSEI)
    Funding Body: Ministry of Defence (UK)
    2008-2011
  • Principal Investigator
    Multi-Disciplinary Model-based Development (MDMD)
    Funding Body: EPSRC + Phillips Research
    Value: £69,300
    Duration: 2005-9
  • Principal Investigator
    Hierarchical System Management for Integrated Modular Systems
    Funding Body: EPSRC + BAE SYSTEMS
    Value: £78,600
    Duration: 2006-2010