Name:	Professor G McCusker
Organisation:	University of Bath
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/K033247/1 Algebra and Logic for Policy and Utility in Information Security (P) EP/K018868/1 Efficient and Natural Proof Systems (C) GR/S72191/02 Extensional semantics of program behaviour (P) GR/S72191/01 Extensional semantics of program behaviour (P) GR/N38824/01 UNIFIED SEMANTICS OF HYBRID COMPUTATIONAL EFFECTS (P) GR/N22014/01 SEMANTIC APPROACHES TO CONTROL OF INTERFERENCE IN HIGHER-ORDER IMPERATIVE LANGUAGES (P)

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