Национальный исследовательский университет Высшая школа экономики, Факультет информатики, математики и компьютерных наук