James Brotherston

James Brotherston is Professor of Logic and Computation in the Programming Principles, Logic and Verification Group (PPLV) at University College London's Department of Computer Science. His research spans logic, computation, and verification, with a focus on separation logic, cyclic proofs, and automated reasoning for program correctness.

Research interests include:

• Foundations of program verification using separation logic
• Automated reasoning via cyclic proof systems
• Concurrency and deadlock detection
• Formal methods for security and resource management
• Applications of substructural logics in computer science

His publications demonstrate consistent focus on logical foundations of verification, with recent work expanding into concurrency testing and atomic operations compatibility. Trends include theoretical advances in proof systems alongside practical verification tools.

Scientific awards and grants:

• Facebook Testing and Verification Research Award (2019)
• £6M EPSRC Programme Grant for IRIS project (2018-2024)
• Facebook Faculty Grant (2015)
• Multiple EPSRC fellowships and grants totaling over £1.2M (2008-2017)

He has supervised 12+ PhD students and research fellows, with current students working on verification of concurrent systems. Leads research in the PPLV group and collaborates internationally on logical frameworks.