Name:	Dr P Shafer
Organisation:	University of Leeds
Department:	Pure Mathematics
Current EPSRC-Supported Research Topics:	Logic & Combinatorics

Current EPSRC Support

EP/T031476/1 Reverse mathematics of general topology (P)

Previous EPSRC Support

EP/R006458/1 Intuitionism and computing with partial information (P)

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