The Department of Computer Science, University of Helsinki