При всём уважении к казанской школе информатики мне очень трудно поверить, что она выпускает десятки именно теоретических информатиков (а не продвинутых программистов, что не одно и то же) в год.

С магистратурой проблема не только в малости стипендии (а где в магистратуре всем подряд платят стипендию?). Выпускников "специалитета" больше привлекает аспирантура: желание поскорее защититься довольно естественно, а недостаток образования может изнутри не особенно ощущаться, особенно когда руководитель уже есть и выпускника в эту аспирантуру уже берут. По узкой теме руководитель человека научил, диссертацию он худо-бедно напишет (хоть и без гениальных озарений). К тому же неочевидна отсрочка от армии в магистратуре-после-специалитета: вроде да, а вроде и нет, без юриста трудно.

Так "десять до 25 лет" это очень, очень мало. Один-два в год, в общем, в пределах погрешности измерения. Один раз можно всех их попытаться набрать, но после этого на следующий год опять - кого? Один-два. Мало.

Региональные ВУЗы (я не о Казани!), к сожалению, не поддерживают идею отправлять выпускников своего бакалавриата учиться в Москву и Питер, хотя устроить сильную программу в каждом городе просто нереально даже если выписать преподавателей из-за границы за мегаденьги.

Я как-то не очень себе представляю отправку бакалавров в столицу вузами. Проблема, мне кажется, в том, что студенты по большей части сами боятся или не хотят рисковать, отправляясь в незнакомое место доучиваться.

Я имею в виду, что если бы образование с самого начала позиционировалось как "выпускников нашего бакалавриата берут в Вышку, Академический университет, на мат-мех, на мех-мат, в ETH, в MIT, ...", а не как "мы сами с усами", было бы больше проку.

А можно у вас совета спросить? Извините за анонимность.
Вот я специалист, окончил Казанский университет, прикладной математик. Диплом синий, с двумя тройками. В аспирантуру идти не стал. Работаю программистом. Публикаций и побед нет.

Но я живо интересуюсь многими вещами из TCS, я знаю какие-то базовые вещи, вроде вероятностного метода, экспандеров, альтернирования, полиномиальной иерархии, ну и так далее по Ароре-Бараку (со всем этим я ознакомился в свободное время, поскольку специализация у меня была "исследование операций", а не "теоретическая кибернетика"). Я изучал в свое время байесовские сети, сейчас знакомлюсь с другими областями машинного обучения. Очень люблю теорию чисел (элементарную и алгебраическую), абстрактную алгербу, теорию категорий, логику.

В университете этим заняться профессионально не удалось, там главенствовала муштра -- решение примеров по трафарету. Было несколько курсов, которые эти штудии разбавляли, где надо было придумать алгоритм или доказательство, они меня очень радовали, но их было немного.

Так вот, стоит мне пытаться поступить в Академический Университет? Или же поступающих так много, что одной увлечённости мало, а нужен и приличный послужной список?

Стоит. Главное, способны ли вы алгоритмы придумывать, задачи решать и теоремы доказывать. Ну, и помните ли базовую математику и то, чему Вас учили. Это мы всё на собеседовании и проверяем. Собственно, пример теста висит на сайте (хотя и кроме него беседуем полчаса не просто так). Даже в этом году ещё не поздно :)

Публикаций к моменту поступления в магистратуру, конечно, не ожидается.

Кстати, к теоркибу книжка Арора-Барак ни малейшего отношения не имеет. К теоркибу принято совершенно другие вещи относить...

Вот у нас так на факультете сложилось, что вычислительной сложностью на КТК занимаются, и хоть что-то из учебника Ароры-Барака только там и можно узнать.

Спасибо большое, что ответили, очень хочется приехать в Петербург, учиться в академическом университете, посещать CS Club, я бы и в этом году приехал, да денег бы подкопить на учебу и на жизнь.

Мне кажется, что в Казани есть, с кем пообщаться по части теории сложности (Фарид Мансурович). А так, конечно, готовьтесь, приезжайте. Так, как в Вышке (по 10 тыс.), у нас платят, правда, только лучшим, но - работаем над этим вопросом...

Я руководствовался тем, что в исходном посте написано...

Это ещё что - могут и последнего зачёта не поставить или к защите не допустить.

Да, через пять лет (уже, наверное, через четыре года) всё будет иначе. Дожить бы (в смысле, дожили бы программы).