ProfessorsProfessors of University College LondonJames Brotherston

James Brotherston

University College London

H-index: 22

Europe-United Kingdom

About James Brotherston

James Brotherston, With an exceptional h-index of 22 and a recent h-index of 14 (since 2020), a distinguished researcher at University College London, specializes in the field of Logic, verification, automated reasoning.

His recent articles reflect a diverse array of research interests and contributions to the field:

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions

A compositional deadlock detector for android java

Automatically verifying temporal properties of pointer programs with cyclic proof

Reasoning over permissions regions in concurrent separation logic

James Brotherston Information

University	University College London
Position	Reader in Logic and Computation at
Citations(all)	1633
Citations(since 2020)	692
Cited By	1239
hIndex(all)	22
hIndex(since 2020)	14
i10Index(all)	26
i10Index(since 2020)	19
Email	Access Email
University Profile Page	University College London
Google Scholar	View Google Scholar Profile

James Brotherston Skills & Research Interests

Logic

verification

automated reasoning

Top articles of James Brotherston

Title	Journal	Author(s)	Publication Date
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	Journal of Logic and Computation	Yukihiro Oda James Brotherston Makoto Tatsuta	2023/12/7
A compositional deadlock detector for android java		James Brotherston Paul Brunet Nikos Gorogiannis Max Kanovich	2021/11/15
Automatically verifying temporal properties of pointer programs with cyclic proof	Journal of Automated Reasoning	Gadi Tellez James Brotherston	2020/3
Reasoning over permissions regions in concurrent separation logic		James Brotherston Diana Costa Aquinas Hobor John Wickerson	2020