Ben Ralph

Ben Ralph is a Senior Lecturer in the Department of Computer Science at the University of Bath. His research focuses on proof theory, particularly in subatomic logic, expansion proofs, and structural rules within classical logic. He holds a PhD in Computer Science from the University of Bath, supervised by Jamie Laird and Alessio Guglielmi.

His work emphasizes foundational aspects of proof systems, including proof compression, normalization, and the elimination of cycles in proofs. Key contributions include a strictly linear subatomic proof system and a natural proof system for Herbrand’s theorem. Ralph’s research bridges theoretical computer science and mathematical logic, with applications in automated reasoning and formal methods.

Ralph has published in venues such as the Journal of Logic and Computation and the Computer Science Logic (CSL) conference. His research interests include the interplay between proof theory and computational complexity, as well as the development of modular proof systems.