Name:	Dr C Calcagno
Organisation:	Imperial College London
Department:	Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/H008373/1 Resource Reasoning (C) EP/E002536/1 Smallfoot: Static Assertion Checking for C programs (P) EP/C544757/1 A Unified Theory of Structured Update (P)

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