Graham Leigh

Graham Leigh is a Professor at the University of Gothenburg's Department of Philosophy and Logic. His primary research focuses on mathematical logic, proof theory, and modal logic, with significant contributions to cyclic proofs, theories of truth, and realisability semantics. He has collaborated extensively with researchers like Bahareh Afshari and Daichi Hayashi on foundational topics in logic and formal systems.

Recent work emphasizes advancing proof systems for modal µ-calculus, exploring non-wellfounded proof structures, and analyzing truth theories within intuitionistic frameworks. His publications often bridge theoretical logic with applications in computer science, particularly in automated reasoning and program verification.

Leigh's research also investigates the interplay between syntax and semantics in paradoxical contexts, contributing to the understanding of self-referential systems and their foundational limitations. He maintains an active publication record in top-tier journals and conferences such as the Journal of Symbolic Logic and Advances in Modal Logic.