Guy McCusker – Projects — the University of Bath's research portal

View Scopus Profile

Phone+44 (0) 1225 383578
EmailG.A.McCuskerbath.acuk

1 WEST 4.54

Accepting Doctoral Students

If you made any changes in Pure these will be visible here soon.

8 results

Finished

Games and Differential Nets for Concurrent Systems
Laird, J., Guglielmi, A., McCusker, G. & Power, J.
The Royal Society
1/08/15 → 30/11/17
Project: Research council
ALPUIS
McCusker, G. & Ioannidis, C.
Engineering and Physical Sciences Research Council
1/11/13 → 30/04/18
Project: Research council
Efficient and Natural Proof Systems
Guglielmi, A., Bruscoli, P. & McCusker, G.
Engineering and Physical Sciences Research Council
1/02/13 → 12/05/16
Project: Research council
Sharing and Sequentiality in Proof Systems with Locality
Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, J.
The Royal Society
29/03/12 → 30/06/14
Project: Research council
Graph Models of Functional, Imperative and Logic Programming
McCusker, G., Guglielmi, A., Laird, J. & Power, J.
The Royal Society
20/01/11 → 31/01/14
Project: Research council
Wessex Theory Seminar
McCusker, G.
London Mathematical Society
1/10/10 → 30/09/13
Project: UK charity
Wessex Theory Seminar
McCusker, G.
London Mathematical Society
1/03/09 → 30/09/10
Project: UK charity
Denotational Semantics for Evaluation Behaviour of Programs
McCusker, G., Laird, J. & Power, J.
The British Council
31/03/08 → 30/03/10
Project: Central government, health and local authorities