Universität Innsbruck, Institut für Informatik