University of Oslo, Department of Informatics