EPSRC logo
Researcher Details
Name: Mr B Cook
Organisation: UCL
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/R006865/1 Interface reasoning for interacting systems (IRIS).(C)
Previous EPSRC Support
EP/K032038/1 Compositional Security Analysis for Binaries(P)
EP/K040049/1 Boosting Automated Verification Using Cyclic Proof(C)
EP/K032542/1 Program Verification Techniques for Understanding Security Properties of Software(C)
EP/H008373/1 Resource Reasoning(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator