George Metcalfe

George Metcalfe

George Metcalfe

Mathematisches Institut, Universit├Ąt Bern

external web page

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.
George Metcalfe has 1 talk in our database:
October 14, 2016