Scholar
James Brotherston
Google Scholar ID: TmQ8BA8AAAAJ
Professor of Logic and Computation, University College London
Citations & Impact
Citations
783
H-index
15
i10-index
19
Publications
20
Co-authors
21
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- - Facebook Testing and Verification Research Award: USD 50,000, Oct 2019
- - EPSRC Programme Grant: 'Interface Reasoning for Interacting Systems (IRIS)': GBP 6,146,075, Jan 2018 - Dec 2024
- - Facebook Faculty Grant: USD 30,000, Sept 2015
- - EPSRC Responsive Mode Grant: 'Boosting Automated Verification using Cyclic Proof': GBP 550,181, Nov 2013 - May 2017
- - EPSRC Career Acceleration Fellowship: 'Logical Foundations of Resource': GBP 465,503, Dec 2011 - Nov 2016
- - EPSRC Postdoctoral Fellowship: 'Cyclic Proofs for Logic-Based Program Verification': GBP 253,391, Nov 2008 - Oct 2011
- - Journal and conference papers: 'Cyclic Proofs in Hoare Logic and Its Reverse' (submitted and under revision, 2025)
- - Journal and conference papers: 'Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations' (Proceedings of OOPSLA, 2024)
- - Journal and conference papers: 'The Failure of Cut-Elimination in Cyclic Proof for First-Order Logic with Inductive Definitions' (submitted and under revision, 2025)
Research Experience
- - Nov 2020 - Dec 2024: Supervised Dr Estibaliz Fraca as a Research Fellow at UCL
- - Oct 2018 - 2021: Supervised Dr Paul Brunet as a Research Fellow at UCL
- - Oct 2018 - 2021: Supervised Dr Diana Costa as a Research Fellow at UCL
- - Jan 2015 - Jan 2018, Sept 2018 - present: Supervised Prof. Max Kanovich as a Research Associate/Fellow at UCL
- - May 2014 - Nov 2016: Supervised Dr Reuben Rowe as a Research Associate at UCL
- - Dec 2013 - Sept 2014: Supervised Dr Quratul-ain Mahesar as a Research Associate at UCL
- - April 2023 - present: Supervising Luke Geeson as a PhD student at UCL
- - Oct 2019 - Sep 2023: Supervised Dr Jas Semrl as a PhD student at UCL (second supervisor)
- - Oct 2015 - August 2018: Supervised Dr Pavle Subotic as a PhD student at UCL (second supervisor)
- - Oct 2014 - 2018: Supervised Kareem Khazem as a PhD student at UCL
- - Oct 2013 - Feb 2018: Supervised Dr Brett McLean as a PhD student at UCL (second supervisor)
- - Oct 2013 - Dec 2018: Supervised Dr Gadi Tellez Espinosa as a PhD student at UCL
Background
- Professor of Logic and Computation at the Department of Computer Science, University College London. Research interests include logic and computation, programming principles, and the Programming Principles, Logic and Verification Group (PPLV).
Miscellany
- - Online lectures: An Introduction to Formal Logic (a 15-lecture series of prerecorded online lectures on formal mathematical logic, aimed at first-year CS undergraduates and produced during the Covid-19 pandemic in 2020/21)
