| EP/V034294/1 | EPSRC Capital Award for Core Equipment 2020/21 | (P) |
| EP/T024968/1 | EPSRC Core Capital Award | (P) |
| EP/S017984/1 | EPSRC Capital Award emphasising support for Early Career Researchers | (P) |
| EP/P030459/1 | Bid for new Electron-Beam Lithography Tool | (P) |
| EP/P001483/1 | A Focused Ion Beam Microscopy Facility for Advanced Materials Analysis | (C) |
| EP/P00153X/1 | Advanced Mass Spectrometry Kit for Controlling Chemical Robots and Exploring Complex Chemical Systems | (C) |
| EP/N007565/1 | Science of Sensor System Software | (P) |
| EP/N508792/1 | Institutional Sponsorship 2015- University of Glasgow | (P) |
| EP/J007617/1 | A Population Approach to Ubicomp System Design | (C) |
| EP/J014478/1 | University of Glasgow - Equipment Account | (P) |
| EP/E032745/2 | The Molecular Nose | (C) |
| EP/F064225/1 | Homework: Shaping Future User Centred Domestic Infrastructures | (C) |
| EP/F033206/1 | Verifying Interoperability Requirements in Pervasive Systems | (P) |
| EP/E032745/1 | The Molecular Nose | (C) |
| EP/E028519/1 | SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis | (P) |
| EP/F013817/1 | Supporting crossover between quantitative modelling communities | (P) |
| EP/D507219/1 | Computer Science Inside... - enthusing and informing potential computer science students | (C) |
| EP/D030110/1 | The Glasgow Computing Science Research Festival 2005 | (P) |
| GR/R39122/01 | Model-Checking Concurrent, Similar Processes with Very Large State Spaces | (P) |
| GR/N18130/01 | PPU: PORTABLE ROBOTICS LABORATORIES FOR INTRODUCING YOUNG PEOPLE TO THE SCIENCE OF COMPUTER PROGRAMMING | (P) |
| GR/M07779/01 | DIET: DEVELOPING IMPLEMENTATION AND EXTENDING THEORY: A SYMBOLIC APPROACH TO REASONING ABOUT LOTOS | (C) |
| GR/M03429/01 | HYBRID TECHNIQUES FOR DETECTING AND RESOLVING FEATURE INTERACTIONS IN TELECOMMUNICATIONS SERVICES | (P) |
| GR/M00275/01 | FORUM FOR CREATION AND ENGINEERING OF TELECOMMUNICATIONS SERVICES (FORCES) | (C) |
| GR/K25038/01 | USER INTERFACE DESIGN FOR MECHANIZED THEOREM PROVING | (C) |
| GR/J52716/01 | TEMPORAL ASPECTS OF VERIFICATION OF LOTOS SPECIFICATIONS | (P) |
| GR/J08300/01 | FURTHER VERIFICATION TECHNIQUES FOR LOTOS SPECIFICATIONS. | (P) |
| GR/F35371/01 | VERIFICATION TECHNIQUES FOR LOTOS SPECIFICATIONS | (P) |