Research Projects/Grants
Current grants || Past grants || Sponsors
Current grants
- ACUTE: Algorithms for Computing with Uncertainty - Theory and Experiments
- C3AOL: Cross-cultural Computer-supported Collaborative Learning for Student Capacity Building in Multifaceted Competencies through Astronomy Online Labs
- CoDiMa (CCP in the area of Computational Discrete Mathematics)
- Evidential Reasoning for Radiological Detection
- EVIRE: An Evidence-Driven Reasoning Framework to Support the Transparent Control, Verification, and Validation of Autonomous Systems
- Future Filesystems: mechanised specification validation implementation and verification of filesystems
- HoSEM: Household-Supplier Energy Market
- Industrial CASE PhD Studentship
- KTP with Synapse Information Limited
- NEXTLAB: Next Generation Stakeholders and Next Level Ecosystem for ColLaborative Science Education with Online Labs
- p-Automata - Foundation for Probabilistic Model Checking
- PREPAReD: Predicting, Preventing, and Analysing Rail Delays
- Reversible Computation: Extending the horizons of computing (COST Action)
- SME Support to Growth
- SPDISC: Stable prediction of defect-inducing changes
- TestMiner
- Trustworthiness Level Determination and Aggregation for Operation of Autonomous Vehicles
Past grants
- 80days - Around an Inspiring Virtual Learning World in Eighty Days
- All in One: Feasibility Analysis of Supplying All Services Through One Utility Product
- BCTCS 2008-2010
- A Fresh Compiler and Identifyer Kind Analyzer with Hybrid Verification
- Ad-hoc Web Applications
- Adaptive and Hybrid Genetic Algorithms for Production Scheduling Problems in Manufacturing
- AGILE: Architectures for Mobility
- APPSEM II: Applied Semantics
- BATS: Building Adequate Test Sets by Reverse Engineering
- BCTCS 2005-2007
- Coalgebraic Logic: Expanding the Scope
- Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality
- Coalgebras and Modal Logic
- Coalgebras, Modal Logic, Stone Duality
- Compressed indexable representation of XML data
- Denotational Semantics and Verification of Hybrid Automata
- EVOL: Software Evolution
- Evolutionary Algorithms for Dynamic Optimisation Problems: Design, Analysis and Applications
- GO-LAB: Global Online Science Labs for Inquiry Learning at School
- HASTE
- History Dependent Automata for Service Oriented Computing
- iCamp: Innovative, inclusive, interactive & intercultural learning campus
- ICFI'05
- ICOPER - Interoperable Content for Performance in a Competency-driven Society
- InContext: Interaction and Context Based Technologies for Collaborative Teams
- Leg2Net: From Legacy Systems to Services in the Net
- Mechanized Operational Semantics
- MeRLab - Innovative Remote Laboratory in the E-training of Mechatronics
- Midlands Graduate School in the Foundations of Computer Science 2010
- Midlands Graduate School in the Foundations of Computer Science 2007-2009
- Midlands Graduate School in the Foundations of Computer Science 2004-2006
- New Paradigms in Data Structures: Word-Level Parallelism and Self-Adjustment
- PAIS: Process Algebras for Interaction and Spatiality (in System Biology)
- Priorities in Operational Semantics and Term Rewriting
- RELEASE: Research Links to Explore and Advance Software Evolution
- Representing Re-Formation: Reconstructing Renaissance Monuments
- ROLE - Responsive Open Learning Environments
- SEGRAVIS: Syntactic and SEmantic InteGRAtion of VIsual modelling techniques
- SENSORIA: Software Engineering for Service-Oriented Overlay Computers
- sKTP with Comtec Translations Ltd
- Structural Operational Semantics Workshop
- The Complexity of Problems in Infinite Groups
- Theory and Applications Of Containers
- The Use of Normal Forms in Solving Word Problems
- Tracing Networks: Craft Traditions in the Ancient Mediterranean and Beyond
- WEE-NET: Web Engineering Network of Excellence
- New Paradigms in Data Structures
Sponsors
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |