Name:	Dr M Sanderson
Organisation:	University of Essex
Department:	Computer Sci and Electronic Engineering
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/L57913/01 IMPLEMENTING CONSTRUCTIVE Z (C) GR/F02809/01 CONSTRUCTIVE SET THEORY AND FUNCTIONAL PROGRAMMING (C)

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