> Это где именно?
В Екатеринбурге. Там исторически была
достаточно сильная группа людей,
занимающихся универсальной алгеброй. В
90-е годы эта деятельность переросла в
theoretical computer science (напр.
Волков). Еще люди занимаются теорией
сложности, комбинаторикой слов.
Программа подготовки программистов на
удивление адекватна. Она составлена на
основе стенфордского куррикулума, с
поправкой на обязательное по закону
дерьмо. Соотношение дерьма (экономика,
матанализ и пр.) и программирования
скорее 40/60. Дерьмо организованно
удаляют, и лет за 5--10 управятся
полностью.
Также там есть информационная
безопасность (
RuCTF --- это детище
УрГУ),
Computer Science-клуб,
отпочковавшийся от петербургского,
и лаборатория робототехники.