EPSRC logo
Researcher Details
 
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