Benjamin Ralph
“There can never be surprises in logic.”
- I am currently a Senior Lecturer in Computer Science at the University of Bath. I
primarily teach on the Computer Science and Artificial
Intelligence Online MSc programs, as well as being Lead Director of Studies (Online).
- For most of 2019, I was a postdoctoral researcher at Inria
Saclay, with Team
Parsifal, supervised by Lutz Strassburger.
- Before this, I was a PhD student in Computer Science at the University of Bath, supervised
by Alessio
Guglielmi.
- In my research, I study structural proof theory: in particular Deep
Inference.
-
Previously, I completed a Master's Degree
in Mathematics and Philosophy at the University of Oxford.
- I am an active member of UCU Bath and encourage
fellow university workers to organise within their
unions to defend working conditions, academic freedom, and education
as a good in itself.
- I have signed the pledge for sustainable research in theoretical
computer science, and will not review or publish in venues that do
not support open access.
- You can contact me at bdr25@bath.ac.uk.
