Prof. Thomas Studer

+41 31 631 39 84
+41 31 631 32 62
email
homepage
Neubrückstrasse 10, office 315
Docent


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

Research

Logic and Theory Group (LTG)
proof theory
non-classical logics
knowledge representation
data privacy