Thomas Studer

Prof. Dr.
Thomas
Studer
Address: 
University of Bern, Institute of Computer Science, Neubrückstrasse 10, CH-3012 Bern
Phone: 
+41 31 631 39 84
Fax: 
+41 31 631 32 62
E-Mail: 
tstuderatinf [dot] unibe [dot] ch
Location: 
Neubrückstrasse 10, office 315
Function: 
Docent
Research group: 
Logic and Theory Group (LTG)
Research areas: 
proof theory
non-classical logics
knowledge representation
data privacy