Datalogi, Institut for