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