EPSRC logo
Researcher Details
Name: Professor J Brotherston
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/K040049/1 Boosting Automated Verification Using Cyclic Proof(P)
EP/J002224/2 Logical Foundations of Resource(P)
EP/J002224/1 Logical Foundations of Resource(P)
EP/F043767/1 Cyclic Proofs for Logic-Based Program Verification(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator