Dr. George Metcalfe is a Professor at Mathematisches Institut (MAI), Universität Bern. He received Ph.D. in Computer Science from King’s College London, MSc in Artificial Intelligence from Edinburgh University, and BA in Mathematics and Philosophy from St. Anne’s College, Oxford. He also held positions at Vanderbilt University and was a Marie Curie Fellow at Vienna University of Technology. His research interests include Proof Theory, Non-Classical Logics, and Ordered Algebraic Structures.