Prof. Dr. George Metcalfe

Contact	Phone: ++41 (0)31 631 88 23
	Fax: ++41 (0)31 631 85 10
	Room 221B (ExWi)
	E-mail: george.metcalfe@math.unibe.ch

Research Areas

Proof Theory Non-Classical Logics Ordered Algebraic Structures

Short Biography

Education PhD, Computer Science. King's College London, UK, 2004. MSc, Artificial Intelligence. Edinburgh University, UK, 1998. BA, Mathematics and Philosophy. St. Anne's College, Oxford, UK, 1996. Positions Assistant Professor (Tenure-Track). Universität Bern, Switzerland, 2009-. Assistant Professor (NTT). Vanderbilt University, USA, 2006-2009. Marie Curie Fellow. Technishe Universität Wien, Austria, 2004-2006.

Publications

Guidance of PhD Theses	Christoph Röthlisberger

Universität Bern | Mathematisches Institut | Sidlerstrasse 5 | CH-3012 Bern |