EPSRC logo
Researcher Details
 
Name: Professor M Calder
Organisation: University of Glasgow
Department: School of Computing Science
Current EPSRC-Supported Research Topics:
Artificial Intelligence Control Engineering
Fundamentals of Computing Materials Characterisation
Microsystems Mobile Computing
RF & Microwave Technology Software Engineering

Current EPSRC Support
EP/P030459/1 Bid for new Electron-Beam Lithography Tool(P)
EP/N007565/1 Science of Sensor System Software(P)
EP/J014478/1 University of Glasgow - Equipment Account(P)
Previous EPSRC Support
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