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