Name:	Dr A Guglielmi
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/K018868/1 Efficient and Natural Proof Systems (P) EP/E042805/1 Complexity and Non-determinism in Deep Inference (P)

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