Some of my past and present research grants
Some of my past and present research grants
Here are pointers to web pages associated with some of my past and
present research grants. This is not a complete list -- generally
speaking, I only produce these pages when requested to do so by the
funding body.
- Dialgebraic Logics
(EPSRC-funded Visiting Fellowship
GR/M36694 for
Professor
Horst Reichel,
Technische Universität Dresden, 1st September - 31st December 1998)
- CoFI Working Group
(ESPRIT
Working Group 29432, 1st October 1998 - 30th September 2000)
- Shape-Based
Computation: Theory and Practice
(EPSRC-funded Visiting Fellowship
GR/M89591 for
C. Barry Jay,
University of Technology, Sydney, August - September 1999)
- Verifying
Specified Programs
(EPSRC-funded research grant
GR/K63795 under the ROPA scheme, March 1996 - September 1999)
- Semantics of parameterised modules using sketches
(EPSRC-funded Visiting Fellowship
GR/N31672 for
Yoshiki Kinoshita,
Electrotechnical Laboratory, Japan,
April 2000 - April 2001)
- Mobile Resource Guarantees
(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, project project IST-2001-33149 (MRG),
1st January 2002 - 31st December 2004)
Don
Sannella. Please mail
me if you have any comments on this page.
Last modified: Tue Jun 29 12:05:38 BST 2004