All of the investigators are researchers on the EU-funded ``Mobile Resource Guarantees'' (MRG, project IST-2001-33149). The MRG project is funded under the Global Computing pro-active initiative of the Future and Emerging Technologies part of the Information Society Technologies programme of the European Commission's Fifth Framework Programme.
David Aspinall is Edinburgh site leader for the EC project on ``Computer-Assisted Reasoning based on Type Theory'' (TYPES). TYPES is a working group (project number 29001) in the IST program of the European Union which started at 2000-08-01, succeeding the ESPRIT project 21900 "TYPES".
Stephen Gilmore is currently funded by the EPSRC grant ``Enhancing the Performance Predictability of Grid Applications with Patterns and Process Algebras'' (EPSRC GR/S21717/01) with Murray Cole and Jane Hillston. Stephen Gilmore is also supported by the EU grant ``Design Environments for Global Applications'' (DEGAS, project IST-2001-32072) awarded under the FET pro-active initiative on Global Computing.
Don Sannella is the coordinator of the Mobile Resource Guarantees project. He additionally holds a British Council grant for collaboration with Warsaw University entitled ``Specifying and Verifying Mobile Code in the CASL Specification Framework''. He is a co-investigator in the project ``Sustainable Lifecycles in Information Ecosystems'' (IST-1999-10948) funded under the EC Universal Information Ecosystems pro-active initiative.
Ian Stark holds an EPSRC Advanced Research Fellowship ``Mathematical Models for Concurrent and Mobile Computation'' (EPSRC GR/R76950/01) and also the project grant ``Reasoning With Names and Identity In Programming Languages'' (EPSRC GR/R04430/01). He is coordinator for the Edinburgh .NET laboratory (Microsoft 2001-58(a)) and a site leader for the European network APPSEM-II ``Applied Semantics'' (EC IST-2001-38957).