Helsinki Institute for Information Technology, a computer science research institute in Helsinki, Finland