Helsinki Institute for Information Technology, Department of Computer Science