Helsingin yliopisto, Tietojenkäsittelytieteen laitos