Name:	Dr D Rydeheard
Organisation:	University of Manchester, The
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/S58522/01 Abstract Stone Duality (C) GR/N26432/01 MTP: THE CENTRE FOR ADVANCED TRAINING AND EDUCATION IN COMPUTER SCIENCE (C) GR/L85756/01 TOPOLOGICAL DUALITY FOR MODAL, TEMPORAL AND PROGRAM LOGICS (P) GR/F88667/01 PROGRAMMING ENVIRONMENT AND CATEGORICAL LOGIC (II) (P) GR/F27536/01 PROGRAMMING ENVIRONMENTS AND CATEGORICAL LOGIC (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator