Когда нет аргументов включаем тупую занудность, ага. Да, это ранее отдельный вуз, сейчас стал факультетом в составе ВШЭ,Для таких дотошных как Вы - официальная наименование на сайте ВШЭ - "Московский институт электроникии математики им. А.Н. Тихонова" . А то что он в ранге факультета - так это щас во многих вузах так - могут называться не факультетами, а институтами в составе