Lunds universitet, LTH, Institutionen för datavetenskap