Встреча с кафедрой была 4-го марта, и на половину вопросов Вам там ответили бы. Кое-что имеет смысл посмотреть на сайте кафедры http://lpcs.math.msu.ru/rus/logic.htm
>Какие там хорошие( не свирепые и не халявщики ) преподаватели?
Мне кажется, на кафедре все преподаватели хорошие, где-то в оптимальной зоне между свирепыми и халявщиками (полюсами можно назвать строгого Адяна и снисходительного Пентуса). Многие сотрудники отличаются довольно редкими по нашим временам благородством и самоотверженной любовью к людям.
Теперь по списку.
Зав. кафедрой проф. Успенский. Выдающийся математик, ученик Колмогорова, специалист по общей теории алгоритмов, а также разносторонне развитый человек. Нынешнее сосотояние кафедры (и особенно "моральный климат") - во многом его заслуга. В последние годы отошел от занятий собственно математикой, студентами не руководит.
Зам. зав. кафедрой дфмн Пентус. Занимается математической лингвистикой, теорией грамматик, применением компьютеров в математике. Весьма загружен организационной работой, но достаточно внимателен к ученикам (если они того хотят).
Ученый секретарь кфмн Яворская. Занимается логикой доказательств, сейчас временно отсутствует. Самая молодая сотрудница кафедры, стиль научного руководства пока не ясен.
Академик Адян. Выдающийся математик, ученик Новикова, специалист по алгебраическим системам и алгоритмическим проблемам алгебры. Резок и требователен, но искренне влюблен в математику и с радостью помогает "юным талантам".
Проф. Артемов. Специалист по неклассическим логикам, в последние годы активно пропагандирует созданную им логику доказательств. В настоящее время фактически работает в City University of New York, сейчас в Москве, но ловить надо очень быстро - уедет.
Проф. Верещагин. Специалист по сложности вычислений и колмогоровской сложности. Всегда очень заботится о своих студентах и старается каждому подобрать задачи по силам.
Проф. Шехтман. Специалист по теории моделей, неклассическим (особенно модальным) логикам. Требователен, но чрезвычайно внимателен к студентам, всегда готов помочь.
Доцент Плиско. Очень известный специалист по реализуемости и конструктивным логикам. Чрезвычайно опытный преподаватель, готов к любой форме научного руководства: может не мешать Вашим самостоятельным изысканиям, а может написать за Вас диплом.
Доцент Крупский. Вероятно, наиболее разносторонний математик на кафедре, глубоко знающий многие области логики и теории алгоритмов, сейчас в основном занимается теорией автоматического вывода и верификации, сложностью вычислений. Как остальные, всегда готов помочь и подсказать, причем делает это с огромным энтузиазмом.
Помимо штатных сотрудников, есть еще несколько человек, которых студенты кафедры могут выбрать в качестве научных ркуоводителей (возможно, я вспомнил не всех).
Проф. Любецкий. Специалист по теории моделей и приложениям логики в генетике, работает в Институте проблем передачи информации (ИППИ).
Проф. Сухомлин. Специалист по computer science, работает на ВМК.
Проф. Калиниченко. Специалист по computer science, работает в Институте проблем информатики (ИПИ). Формально часто руководит совместно с Сухомлиным.
Кфмн Шень. Специалист по колмогоровской сложности и сложности вычислений, работает в ИППИ и школе N57. Фактически часто руководит совместно с Верещагиным.
> Чем можно заниматься? Интересно?
Заниматься можно чем-то из списка интересов сотрудников или взять что-то свое (конструктивный анализ или, например, теоретико-категорные вопросы computer science). В последнем случае руководителем хорошо взять, например, Крупского (хотя можно любого), но разбираться придется в основном самостоятельно. Интересно ли все это - зависит от личных склонностей.
> Как с аспирантурой?
Есть. В последние годы, правда, туда идет очень мало народу (буквально один-два человека).
Если есть более конкретные вопросы - спрашивайте.
