Prof. Dr. Thomas Studer Institut für Informatik (INF) Telefon +41 31 684 39 84 E-Mail thomas.studer@unibe.ch Büro 315 Postadresse Institute für Informatik (INF) Neubrückstrasse 10 3012 Bern