Thomas Strahm

Prof. Dr.
Thomas
Strahm
Address: 
University of Bern, Institute of Computer Science, Neubrückstrasse 10, CH-3012 Bern
Phone: 
+41 31 631 49 98
Fax: 
+41 31 631 32 62
E-Mail: 
thomas [dot] strahmatinf [dot] unibe [dot] ch
Location: 
Neubrückstrasse 10, office 316
Function: 
Docent
Research group: 
Logic and Theory Group (LTG)
Research areas: 
mathematical logic and theoretical computer science
proof theory
explicit mathematics
predicativity and metapredicativity
higher type functionals
applicative theories and computational complexity