Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Software Engineering - EPSRC Reserach Area

http://www.researchperspectives.org/gow.ra/research_area_SoftwareEngineering.png

Similar Research Areas

Recent EPSRC Grants for Software Engineering

Title Principal Investigator Organization Start Date End Date Value
Testing, Verifying, and Generating Software Patches Using Dynamic Symbolic Execution Cadar, C (Dr) Imperial College London 31/05/2012 30/05/2015 £287,184
GISMO: Genetic Improvement of Software for Multiple Objectives Harman, M (Professor) University College London 28/10/2011 27/10/2015 £502,415
Trustworthy Robotic Assistants Eder, K (Dr) University of Bristol 23/04/2013 22/10/2016 £396,538
High-integrity Java Applications using Circus Cavalcanti, ALC (Dr) University of York 22/06/2010 30/09/2015 £1,029,474
Metacognitive Instruction, Confidence and Prediction Accuracy in Software Engineering (MICaPASE) MAIR, C (Professor) University of the Arts London 20/11/2011 19/05/2013 £49,796
From Data Types to Session Types---A Basis for Concurrency and Distribution Wadler, P (Professor) University of Edinburgh 20/05/2013 19/05/2018 £3,956,088
AI4FM: using AI to aid automation of proof search in Formal Methods Ireland, A (Professor) Heriot-Watt University 20/05/2010 19/05/2014 £23,194
Empirical Modelling of Business Process Patterns with Ontologies de Cesare, S (Dr) Brunel University 18/06/2013 17/06/2016 £318,135
Sustained Autonomy through Coupled Plan-based Control and World Modelling with Uncertainty Long, D (Professor) King's College London 16/07/2012 15/07/2015 £237,002
Sustained Autonomy through Coupled Plan-based Control and World Modelling with Uncertainty Lane, D (Professor) Heriot-Watt University 16/07/2012 15/07/2015 £256,441
Sustained Autonomy through Plan-based Control and World Modelling with Uncertainty Dearden, RW (Dr) University of Birmingham 16/07/2012 15/07/2015 £194,871
Metacognitive Instruction, Confidence and Prediction Accuracy in Software Engineering (MICaPASE) MAIR, C (Professor) University of the Arts London 15/10/2012 14/08/2013 £16,431
A Theory of Least Change for Bidirectional Transformations Stevens, P (Dr) University of Edinburgh 15/03/2013 14/03/2016 £395,170
Higher-order Refinement Techniques for Model Driven Architecture Derrick, J (Professor) University of Sheffield 13/07/2009 12/10/2012 £318,523
Verifying Interoperability Requirements in Pervasive Systems Ryan, M (Professor) University of Birmingham 08/10/2008 07/03/2013 £418,296
Testing Probabilistic and Stochastic Systems (ProbTest) Hierons, RM (Professor) Brunel University 06/03/2009 05/03/2013 £72,760
RE-COST: REducing the Cost of Oracles for Software Testing Harman, M (Professor) University College London 03/01/2011 02/01/2014 £353,915
RE-COST: REducing the Cost of Oracles for Software Testing McMinn, PS (Dr) University of Sheffield 03/01/2011 02/01/2014 £302,580
A Population Approach to Ubicomp System Design Chalmers, M (Dr) University of Glasgow 01/12/2011 30/11/2016 £3,253,414
Network in Internet and Mobile Malicious Software (NIMBUS) Sezer, S (Professor) Queen's University of Belfast 01/11/2012 31/10/2015 £100,348
Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming Donaldson, AF (Dr) Imperial College London 01/11/2011 31/07/2012 £64,242
Explorative Test Oracle Generation Fraser, G (Dr) University of Sheffield 01/10/2013 31/03/2015 £92,718
Rare Events via Parallel Forward Flux Sampling Allen, RJ (Dr) University of Edinburgh 01/10/2011 30/09/2013 £245,458
Metacognitive Instruction, Confidence and Prediction Accuracy in Software Engineering (MICaPASE) Shepperd, MJ (Professor) Brunel University 01/10/2011 31/03/2013 £42,043
The Digital Economy Innovation Centre Blair, G (Professor) Lancaster University 01/10/2009 31/03/2018 £5,947,133
The Birth, Life and Death of Semantic Mutants Clark, JA (Professor) University of York 01/10/2009 30/09/2013 £136,252
Verifying Interoperability Requirements in Pervasive Systems Fisher, M (Professor) University of Liverpool 01/10/2008 31/03/2013 £438,609
Partial order semantics for concurrent program verification Alglave, J (Dr) University College London 01/09/2013 28/02/2015 £98,000
AnyScale Applications Singer, J (Dr) University of Glasgow 01/09/2013 31/08/2017 £1,166,422
SWAT (Semantic Web Authoring Tool) Stevens, RD (Professor) The University of Manchester 01/09/2009 30/11/2012 £374,430
Verifying Interoperability Requirements in Pervasive Systems Calder, M (Professor) University of Glasgow 01/09/2008 28/02/2013 £470,410
CREST: Centre for Research on Evolution, Search and Testing, Platform Grant. Harman, M (Professor) University College London 01/08/2010 31/08/2014 £925,401
Automated Discovery of Emergent Misbehaviour McMinn, PS (Dr) University of Sheffield 01/08/2009 31/07/2012 £241,737
AEDUS2: Adaptable Environments for Distributed Ubiquitous Systems Sloman, M (Professor) Imperial College London 01/08/2007 31/07/2012 £1,107,871
libhpc Stage II: A Long-term Solution for the Usability, Maintainability and Sustainability of HPC Software Darlington, J (Professor) Imperial College London 01/07/2013 30/06/2015 £726,567
libhpc Stage II: A Long-term Solution for the Usability, Maintainability and Sustainability of HPC Software Turner, AR (Dr) University of Edinburgh 01/07/2013 30/06/2015 £89,954
Creative Code Generation for Interactive Media Colton, S (Professor) Goldsmiths College 01/07/2013 30/06/2015 £178,501
libhpc: Intelligent Component-based Development of HPC Applications Darlington, J (Professor) Imperial College London 01/07/2011 30/06/2013 £483,099
Virtual Wave Structure Interaction (WSI) Simulation Environment Greenough, C (Professor) STFC - Laboratories 01/06/2013 31/05/2016 £429,005
Funding for CCPForge and software engineering support for research computing Worth, DJ (Dr) STFC - Laboratories 01/06/2013 31/05/2018 £861,333
DAASE: Dynamic Adaptive Automated Software Engineering Harman, M (Professor) University College London 01/06/2012 31/05/2018 £6,834,903
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework Greenough, C (Professor) STFC - Laboratories 01/06/2011 30/09/2013 £219,493
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework Holcombe, WML (Professor) University of Sheffield 01/06/2011 31/05/2013 £183,934
HPC Short Courses - a coordinated response for training the UK's next generation of HPC users Rodger, PM (Professor) University of Warwick 01/06/2011 30/11/2014 £296,482
SSI: The UK Software Sustainability Institute Chue Hong, NP (Mr) University of Edinburgh 01/06/2010 31/05/2015 £4,364,751
SWAT (Semantic Web Authoring Tool) Power, R (Dr) Open University 01/06/2009 30/11/2012 £640,759
The Birth, Life and Death of Semantic Mutants Hierons, RM (Professor) Brunel University 01/06/2009 31/05/2013 £372,405
Statistical Natural Language Processing Methods for Computer Program Source Code Sutton, C (Dr) University of Edinburgh 01/05/2013 30/04/2016 £375,602
Privacy Dynamics: Learning from the Wisdom of Groups Russo, A (Dr) Imperial College London 01/05/2013 30/04/2016 £322,520
Privacy Dynamics: Learning from the Wisdom of Groups Levine, M (Professor) University of Exeter 01/05/2013 30/04/2016 £256,694
Virtual Wave Structure Interaction (WSI) Simulation Environment Causon, DM (Professor) Manchester Metropolitan University 01/05/2013 30/04/2016 £323,344
Virtual Wave Structure Interaction (WSI) Simulation Environment Graham, DI (Dr) University of Plymouth 01/05/2013 30/04/2016 £288,508
Trustworthy Robotic Assistants Dautenhahn, K (Professor) University of Hertfordshire 01/04/2013 30/09/2016 £375,542
Taming Concurrency Jones, C (Professor) Newcastle University 01/04/2013 31/03/2017 £643,519
SAMS - Software Architecture for Mental health Self management Ballard, C (Professor) King's College London 01/04/2013 31/03/2016 £13,449
SAMS - Software Architecture for Mental health Self management Sawyer, P (Professor) Lancaster University 01/04/2013 31/03/2016 £248,497
SAMS - Software Architecture for Mental health Self management Keane, J (Professor) The University of Manchester 01/04/2013 31/03/2016 £430,251
Certified Verification of Client-Side Web Programs Gardner, P (Professor) Imperial College London 01/04/2013 31/03/2016 £893,923
App Guarden: Resilient Application Stores Aspinall, D (Dr) University of Edinburgh 01/04/2013 31/03/2016 £588,377
Privacy Dynamics: Learning from The Wisdom of Groups Nuseibeh, B (Professor) Open University 01/04/2013 31/03/2016 £429,928
Centre for Doctoral Training in Cyber Security at Royal Holloway CID, C (Dr) Royal Holloway, Univ of London 01/04/2013 31/12/2019 £3,793,546
Oxford University Centre for Doctoral Training in Cyber Security Martin, A (Dr) University of Oxford 01/04/2013 31/12/2019 £3,654,612
Manchester Centre for Doctoral Training in Computer Science Furber, S B (Professor) The University of Manchester 01/04/2011 30/09/2019 £2,199,181
AI4FM: using AI to aid automation of proof search in Formal Methods Jones, C (Professor) Newcastle University 01/04/2010 31/03/2014 £467,296
AI4FM: using AI to aid automation of proof search in Formal Methods Bundy, A (Professor) University of Edinburgh 01/04/2010 31/03/2014 £513,669
Sustainable Software for Digital Music and Audio Research Plumbley, M (Professor) Queen Mary, University of London 01/04/2010 31/03/2014 £947,057
Reverse Engineering State Machine Hierarchies by Grammar Inference (REGI) Bogdanov, K (Dr) University of Sheffield 01/04/2009 30/09/2012 £315,209
Trustworthy Robotic Assistants Fisher, M (Professor) University of Liverpool 01/03/2013 31/08/2016 £378,892
Trustworthy Robotic Assistants Pipe, AG (Professor) University of the West of England 01/03/2013 31/08/2016 £49,730
A Theory of Least Change for Bidirectional Transformations Gibbons, J (Professor) University of Oxford 01/03/2013 29/02/2016 £309,018
Compositional Security Analysis for Binaries King, A (Dr) University of Kent 01/03/2013 29/02/2016 £228,823
Compositional Security Analysis for Binaries Distefano, D (Dr) Queen Mary, University of London 01/03/2013 29/02/2016 £270,982
Compositional Security Analysis for Binaries OHearn, P (Professor) University College London 01/03/2013 29/02/2016 £289,852
Trustworthy Ambient Systems: Resource Constrained Ambience Romanovsky, A (Professor) Newcastle University 01/02/2012 31/01/2016 £981,508
Refactoring and Neutrality in Genetic Programming Johnson, CG (Dr) University of Kent 01/02/2010 31/01/2013 £305,240