Prof. Thomas Strahm

+41 31 631 49 98
+41 31 631 32 62
email
homepage
Neubrückstrasse 10, office 316
Docent


University of Bern
Institute of Computer Science
Neubrückstrasse 10
CH-3012 Bern

Research

Logic and Theory Group (LTG)
mathematical logic and theoretical computer science
proof theory
explicit mathematics
predicativity and metapredicativity
higher type functionals
applicative theories and computational complexity