James Brotherston
Has grant
University College London
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
Boosting Automated Verification Using Cyclic Proof
Open Date: 2013-11-11
Close Date: 2016-11-10
Grant: Close
Logical Foundations of Resource
Open Date: 2012-06-01
Close Date: 2016-12-01
Grant: Close
Logical Foundations of Resource
Open Date: 2011-12-01
Close Date: 2012-05-31
Grant: Close
Cyclic Proofs for Logic-Based Program Verification
Open Date: 2008-11-01
Close Date: 2011-10-31
Articles (2)
Year:
2024
Year:
2020
Collaborators (1)
Tyler Sorensen
Assistant Professor
University of California, Santa Cruz
UNITED STATES
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.