Universiteit Twente, Faculteit der Informatica