Facebook Testing and Verification Research Award
USD 50,000, Oct 2019.
Co-Investigator, "Interface Reasoning for Interacting Systems (IRIS)"
EPSRC Programme Grant EP/R006865/1, PI: David Pym. GBP 6,146,075, Jan 2018 - Dec 2023.
Facebook Faculty Grant
USD 30,000, Sept 2015.
Principal Investigator, "Boosting Automated Verification using Cyclic Proof"
EPSRC Responsive Mode Grant EP/K040049/1. GBP 550,181, Nov 2013 - May 2017.
EPSRC Career Acceleration Fellowship, "Logical Foundations of Resource"
EPSRC grant EP/J002224/1. GBP 465,503, Dec 2011 - Nov 2016.
EPSRC Postdoctoral Fellowship, "Cyclic Proofs for Logic-Based Program Verification"
EPSRC grant EP/F043767/1. GBP 253,391, Nov 2008 - Oct 2011.
An Introduction to Separation Logic (YouTube)
Delivered at Oracle Labs, Brisbane in Dec 2015, with accompanying slides. Currently unavailable; I will try to have it put up again. JB
Bunched Logics Displayed [BibTeX]
James Brotherston.
In Studia Logica 100(6), Dec 2012
(Expanded journal version of the MFPS'10 paper "A Unified Display Proof Theory for Bunched Logic".)
Separation Logics for Pointer Programs
Keynote talk at the Lorentz Workshop "Effective Verification: Static Analysis Meets Program Logics", in Leiden, the Netherlands in May 2019.