Current grants
-
Principal Investigator
Modelling and Optimising Complex Heterogeneous Architectures (MOCHA)
Funding Body: Huawei
Value: £ 985,927
Duration: 2019-22 -
Principal Investigator
High-Integrity, Complex, Large, Software and Electronic Systems (HICLASS)
Funding Body: Innovate
Value: £ 975,347
Duration: 2019-23
Past grants
-
Principal Investigator
Automated Timing framework of Interference in Critical Systems (ATICS)
Funding Body: Knowledge Transfer Partnership
Value: £ 257,977
Duration: 2017-2020
Grading: Outstanding -
Co-Investigator
Mixed Criticality Cyber-Physical Systems (MCCps)
Funding Body: EPSRC
Value: £ 974,581
Duration: 2016-19 -
Co-Investigator and Computer Science Lead
CAPACITIE (Cutting-Edge Approaches for Pollution Assessment in Cities)
Funding Body: EU Marie Curie ITN
Value: £ 353,158
Duration: 2012-16 -
Principal Investigator
Probabilistic real-time control of mixed-criticality multicore and manycore systems (PROXIMA)
Funding Body: EU FP7
Value: £ 438,559
Duration: 2013-16 -
Co-Investigator
MCC - Mixed Criticality Embedded Systems on Many-Core Platforms
Funding Body: EPSRC
Value: £ 652,126
Duration: 2013-16 -
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