University of Salzburg, Institute of Computer Science