I am a theoretical computer scientist at the University of Birmingham, specialising in proof theory