Name:	Dr H Simmons
Organisation:	Victoria 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 (R) GR/L85756/01 TOPOLOGICAL DUALITY FOR MODAL, TEMPORAL AND PROGRAM LOGICS (C) GR/H18449/01 EXECUTABLE MODAL LOGICS THROUGH THEOREM PROVING (C) GR/H00147/01 LOGIC PROGRAMMING ABSTRACT DATA TYPES AND MANY SORTED MODEL THEORY (P) GR/F61974/01 LOGIC PROGRAMMING,ABSTRACT DATA TYPES & MANY-SORTED MODEL THEORY (P)

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