Benjamin Ralph

“There can never be surprises in logic.”
  • I am currently a PhD student in Computer Science at the University of Bath, supervised by Alessio Guglielmi.
  • I study structural proof theory: in particular Deep Inference.
  • Alongside my research, I teach undergraduate classes in Mathematics and in Computer Science.
  • Previously, I completed a Master's Degree in Mathematics and Philosophy at the University of Oxford.
  • You can contact me at b.d.ralph@bath.ac.uk.
Me