Michael Bärtschi

Logic and Theory Group

Phone

+41 31 511 7616

E-Mail

michael.baertschi@inf.unibe.ch

Office

307

Postal Address

Neubrückstrasse 10
3012 Bern