|
| Name: |
Professor M Calder |
| Organisation: |
University of Glasgow |
| Department: |
School of Computing Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Catalysis & Applied Catalysis
|
|
Control Engineering
|
Energy Storage
|
|
Fundamentals of Computing
|
Manufacturing Machine & Plant
|
|
Materials Characterisation
|
Mobile Computing
|
|
Software Engineering
|
|
|
| Current EPSRC Support |
|
| Previous EPSRC Support |
| 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/N508792/1 | Institutional Sponsorship 2015- University of Glasgow | (P) |
| EP/J007617/1 | A Population Approach to Ubicomp System Design | (C) |
| 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) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|