Научная работа и научные руководители
Материал из eSyr's wiki.
м |
(→Семинар интернет и базы данных) |
||
(29 промежуточных версий не показаны.) | |||
Строка 1: | Строка 1: | ||
- | + | На данной странице можно делиться своими мнениями и опытом по поводу научной работы, ведущейся на ВМК, кафедрах и, возможно, научниках. | |
- | Безусловно, желательно, чтобы отписывались здесь по большей части те, кто уже выпустился либо кто близится к выпуску, поскольку таким образом точка зрения будет более объективная (им уже некого бояться) и более полная (человек прошёл до конца и у него поэтому более полная картина). | + | <!--Безусловно, желательно, чтобы отписывались здесь по большей части те, кто уже выпустился, либо те, кто близится к выпуску, поскольку таким образом точка зрения будет более '''объективная''' (им уже некого бояться) и более '''полная''' (человек прошёл до конца и у него поэтому более полная картина).--> |
= 1 поток = | = 1 поток = | ||
= 2 поток = | = 2 поток = | ||
+ | |||
+ | == Кафедра математической кибернетики (МК) == | ||
+ | * зав. кафедрой - профессор Валерий Борисович Алексеев | ||
+ | * сайт: http://mathcyb.cs.msu.su | ||
+ | * email: mk@cs.msu.su | ||
+ | * тел.: (095) 939-53-92 | ||
+ | |||
+ | '''Спецсеминары:''' | ||
+ | * Дискретная математика и математическая кибернетика | ||
+ | * Дискретные функции и сложность алгоритмов | ||
+ | * Дискретный анализ | ||
+ | * Некоторые вопросы синтеза управляющих систем | ||
+ | * Параллельные вычисления в криптографии | ||
+ | * Теоретические проблемы программирования | ||
+ | * Теория управляющих систем и математические модели СБИС | ||
+ | |||
+ | Расписание спецкурсов и спецсеминаров, темы спецсеминаров и прочую информацию о кафедре можно найти на полуофициальной вики http://mathcyb.ru. | ||
= 3 поток = | = 3 поток = | ||
- | ==АЯ== | + | == Кафедра алгоритмических языков (АЯ) == |
* Зав. кафедрой - профессор Михаил Георгиевич Мальковский | * Зав. кафедрой - профессор Михаил Георгиевич Мальковский | ||
* сайт: http://al.cs.msu.ru | * сайт: http://al.cs.msu.ru | ||
Строка 17: | Строка 34: | ||
* тел.: (495) 939-53-98, (495) 939-18-80 | * тел.: (495) 939-53-98, (495) 939-18-80 | ||
- | ===Спецсеминар «Компьютерная лингвистика»=== | + | === Спецсеминар «Компьютерная лингвистика»=== |
список преподавателей: | список преподавателей: | ||
* '''проф. М.Г. Мальковский''' | * '''проф. М.Г. Мальковский''' | ||
Строка 24: | Строка 41: | ||
* ?? Т.Ю. Грацианова | * ?? Т.Ю. Грацианова | ||
- | + | из направлений, которые включает в себя компьютерная лингвистика, основными являются: | |
+ | * [[wikipedia:ru:Машинный перевод|Машинный перевод]] | ||
+ | * [[wikipedia:ru:Информационный поиск|Информационный поиск]] | ||
+ | * Создание [[wikipedia:ru:электронный словарь|электронных словарей]], [[wikipedia:ru:Тезаурус|тезаурусов]], [[wikipedia:ru:Онтология (информатика)|онтологий]] | ||
+ | * [[wikipedia:ru:Обработка естественного языка|Обработка естественного языка]] (синтакический, морфологический, семантический анализы текста; {{lang-en|parsing}}) | ||
+ | * [[wikipedia:ru:Data Mining|Data Mining]] (автоматическое извлечение и анализ данных) | ||
+ | * [[wikipedia:ru:Автореферирование|Автореферирование]] (автоматическое реферирование текстов) | ||
+ | * Построение систем [[wikipedia:ru:Управление знаниями|управления знаниями]] | ||
+ | * [[wikipedia:ru:Оптическое распознавание символов|Оптическое распознавание символов]] ({{lang-en|OCR}}) | ||
+ | * Автоматическое [[wikipedia:ru:распознавание речи|распознавание речи]] ({{lang-en|ASR}}) | ||
+ | * [[wikipedia:ru:Корпусная лингвистика|Корпусная лингвистика]], создание и использование электронных корпусов текстов | ||
+ | более подробно можно почитать на [[wikipedia:ru:Компьютерная лингвистика|википедии]] | ||
+ | |||
+ | |||
+ | однако, спектр областей, изучаемых на этой кафедре несоизмеримо уже перечисленных выше, а изучаемые преподаются на уровне 10 или даже 15-ти летней давности. это печально. (*горький вздох выпускника*) | ||
+ | |||
+ | также, можно составить определённое впечатление по следующим материалам, преподаваемым на спецсеминарах: | ||
+ | # [http://74.125.77.132/search?q=cache:http://www.al.cs.msu.su/classes/compling.html программа спецкурса] с сайта кафедры | ||
+ | # [http://lib.rus.ec/b/98109 преподаваемые материалы] с [[wikipedia:ru:Либрусек|Либрусека]] | ||
+ | |||
+ | ==== Мальковский ==== | ||
+ | ==== Волкова ==== | ||
+ | ==== Полякова ==== | ||
+ | ==== Грацианова ==== | ||
===Спецсеминар «Искусственный интеллект»=== | ===Спецсеминар «Искусственный интеллект»=== | ||
- | + | Почитать об [[wikipedia:ru:Искусственный интеллект|искусственном интеллекте на ру-википедии]] | |
- | * | + | |
- | * | + | Список преподавателей: |
- | * | + | * Пильщиков Владимир Николаевич, заместитель заведующего кафедрой, доцент, к.ф.-м.н. |
- | * ст. научн. сотр. | + | * Большакова Елена Игоревна, доцент, к.ф.-м.н. |
+ | * Бордаченкова Елена Анатольевна, доцент, к.ф.-м.н. | ||
+ | * Лукашевич Наталья Валентиновна, ст. научн. сотр. | ||
+ | |||
+ | На спец-семинарах в основном занимаются пересечением двух наук: [[wikipedia:ru:Искусственный интеллект|искусственного интеллекта]] и [[wikipedia:ru:Компьютерная лингвистика|компьютерной лингвистики]]. | ||
+ | |||
+ | То, с чем вам скорей всего придётся работать: | ||
+ | *[[wikipedia:ru:обработка естественных языков|обработка естественных языков]], | ||
+ | *[[wikipedia:ru:инженерия знаний|инженерия знаний]] (кстати, Большакова любопытнейший спецкурс читает по этой теме :D), | ||
+ | *[[wikipedia:ru:информационный поиск|информационный поиск]]. | ||
- | ... | + | Спецсеминар ведёт давнюю дружбу с [http://www.srcc.msu.su/ НИВЦ]евой кафедрой Доброва, разрабатывающей [http://uisrussia.msu.ru/docs/ips/n/about.htm Университетскую информационную систему Россия] (что-то типо крутого поиска по всяким источникам). Поэтому их сотрудники периодически ходят к нам на семинары и берут себе студентов под крыло (в смысле курсовых и дипломов) -- бояться их не надо. =) |
===Спецсеминар «Программное обеспечение ПЭВМ»=== | ===Спецсеминар «Программное обеспечение ПЭВМ»=== | ||
Строка 49: | Строка 98: | ||
===Спецсеминар «Языки и трансляторы»=== | ===Спецсеминар «Языки и трансляторы»=== | ||
(доц. Т.В. Руденко) | (доц. Т.В. Руденко) | ||
+ | К сожалению, этого спецсеминара уже нет. И сама Т.В.Руденко вроде как уже не преподает. | ||
===Спецсеминар «Методы синтаксического анализа»=== | ===Спецсеминар «Методы синтаксического анализа»=== | ||
Строка 56: | Строка 106: | ||
(проф. С.А. Абрамов) | (проф. С.А. Абрамов) | ||
- | ==АСВК== | + | === Спецсеминар «Парадигмы программирования» === |
+ | * Столяров Андрей Викторович, ассистент, к.ф.-м.н. | ||
+ | *Головин Игорь Геннадьевич, доцент, к.ф.-м.н. | ||
+ | |||
+ | В рамках данного спецкурса занимаются методами непосредственной интеграции (библиотека [http://www.intelib.org InteLib]) и, может быть, много, чем ещё. :) | ||
+ | |||
+ | == Кафедра автоматизации систем вычислительных комплексов (АСВК) == | ||
* Зав. кафедрой - лауреат Государственной премии член-корреспондент РАН Лев Николаевич Королев | * Зав. кафедрой - лауреат Государственной премии член-корреспондент РАН Лев Николаевич Королев | ||
- | * Сайт: отсутствует | + | * Сайт: <s>отсутствует</s>ну не то чтобы совсем отсутствует, http://asvk.cs.msu.su/ |
* E-mail: asvk@cs.msu.su | * E-mail: asvk@cs.msu.su | ||
* Тел.: (495) 939-56-34, 939-17-95, 939-17-89 | * Тел.: (495) 939-56-34, 939-17-95, 939-17-89 | ||
Строка 64: | Строка 120: | ||
=== Лаборатория вычислительных комплексов (ЛВК) === | === Лаборатория вычислительных комплексов (ЛВК) === | ||
* Сайт: http://lvk.cs.msu.su/ | * Сайт: http://lvk.cs.msu.su/ | ||
- | * Зав. лаб.: Смелянский | + | * Зав. лаб.: Смелянский Руслан Леонидович |
+ | * Расположение: 7й этаж, южный сапог, комн.760,761,764 и 2й этаж, комн. 247а | ||
+ | |||
+ | ==== Семинар моделирования ==== | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/19 Никита Ющенко] | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/30 Константин Савенков] | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/23 Максим Чистолинов] | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/25 Дмитрий Волканов] | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/2 Александ Герасёв] | ||
+ | |||
+ | ==== Семинар безопасности ==== | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/26 Денис Гамаюнов] | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/32 Алексей Качалин] | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/34 Андрей Петухов] | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/366 Андрей Сапожников] | ||
+ | |||
+ | ==== Семинар планирования вычислений и синтеза архитектур ==== | ||
+ | * [http://lvk.cs.msu.su/index.php/articles/18|Валерий Костенко] | ||
+ | |||
+ | ==== Семинар интернет и базы данных ==== | ||
+ | * [http://lvk.cs.msu.su/~ddk/ Дмитрий Козлов] | ||
+ | * [http://lvk.cs.msu.su/~konnov/index_ru.html Игорь Коннов] | ||
=== Лаборатория компьютерной графики и мультимедиа (ЛКГиММ) === | === Лаборатория компьютерной графики и мультимедиа (ЛКГиММ) === | ||
* Сайт: http://graphics.cs.msu.ru/ | * Сайт: http://graphics.cs.msu.ru/ | ||
+ | * [[wikipedia:ru:Лаборатория компьютерной графики и мультимедиа|ru-wikipedia]] | ||
* Зав. лаб.: Баяковский Юрий Матвеевич | * Зав. лаб.: Баяковский Юрий Матвеевич | ||
+ | ==== Группа компьютерного зрения ==== | ||
+ | ==== Видеогруппа ==== | ||
+ | ==== Группа трёхмерной графики ==== | ||
=== Лаборатория параллельной обработки экспериментальных данных с использованием нейросетей и <s>генетических алгоритмов</s> эволюционного программирования (ЛПО эд Синсига) === | === Лаборатория параллельной обработки экспериментальных данных с использованием нейросетей и <s>генетических алгоритмов</s> эволюционного программирования (ЛПО эд Синсига) === | ||
Строка 82: | Строка 163: | ||
У семинара есть собственный умирающий кластер (hill), доступ к кластерам Regatta, BlueGene/МГУ, СКИФ/НИВЦ. | У семинара есть собственный умирающий кластер (hill), доступ к кластерам Regatta, BlueGene/МГУ, СКИФ/НИВЦ. | ||
- | ==СП== | + | === Лаборатория технологий программирования === |
- | * Зав. кафедрой - лауреат Государственной премии | + | * Зав. лаб.: Машечкин Игорь Валерьевич |
- | * Сайт: sp.cmc.msu.ru | + | |
- | * E-mail: sp@cs.msu.su | + | ==Кафедра системного программирования (СП) == |
+ | * Зав. кафедрой - лауреат Государственной премии академик, профессор Виктор Петрович Иванников | ||
+ | * Сайт: [http://sp.cmc.msu.ru sp.cmc.msu.ru] | ||
+ | * E-mail: [mailto:sp@cs.msu.su sp@cs.msu.su] | ||
* Тел.: (495) 939-18-77 | * Тел.: (495) 939-18-77 | ||
Строка 91: | Строка 175: | ||
Научные руководители: | Научные руководители: | ||
- | + | академик, профессор, доктор физ.-мат. наук В. П. Иванников, | |
- | + | к.ф.-м.н. Денис Юрьевич Турдаков | |
- | м.н. | + | |
+ | На семинаре занимаются xml базами данных и анализом текстов. Сайт семинара http://modis.ispras.ru/seminar/ | ||
===Спецсеминар «Планирование целенаправленной деятельности»=== | ===Спецсеминар «Планирование целенаправленной деятельности»=== | ||
Научные руководители: | Научные руководители: | ||
- | профессор, доктор физ.-мат. наук Э. З. Любимский, | ||
доцент, кандидат физ.-мат. наук Л. С. Корухова, | доцент, кандидат физ.-мат. наук Л. С. Корухова, | ||
- | + | кандидат физ.-мат. наук В. В. Малышко, | |
+ | ассистент В. А. Морозов. | ||
- | ===Спецсеминар | + | ===Спецсеминар «Корректность программ»=== |
Научные руководители: | Научные руководители: | ||
- | + | проф., доктор физ.-мат. наук А. К. Петренко, | |
- | кандидат физ.-мат. наук А. В. Максимов. | + | кандидат физ.-мат. наук А. В. Максимов, |
+ | доцент, кандидат физ.-мат. наук В. В. Кулямин | ||
+ | |||
+ | Сайт семинара: http://sp.cmc.msu.ru/specsem/vvp/ | ||
===Спецсеминар «Операционные системы и языки программирования распределенных вычислительных систем»=== | ===Спецсеминар «Операционные системы и языки программирования распределенных вычислительных систем»=== | ||
Научные руководители: | Научные руководители: | ||
- | профессор, доктор физ.-мат. наук В. А. Крюков | + | профессор, доктор физ.-мат. наук В. А. Крюков |
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
===Спецсеминар «CASE-технологии»=== | ===Спецсеминар «CASE-технологии»=== | ||
Научные руководители: | Научные руководители: | ||
- | + | академик, профессор, доктор физ.-мат. наук В. П. Иванников, | |
- | кандидат физ.-мат. наук | + | доц., кандидат физ.-мат. наук Е. А. Кузьменкова, |
===Спецсеминар «Метакомпьютинг»=== | ===Спецсеминар «Метакомпьютинг»=== | ||
Научные руководители: | Научные руководители: | ||
- | профессор, доктор физ.-мат. наук Д. А. Корягин, | ||
кандидат физ.-мат. наук В. Н. Коваленко | кандидат физ.-мат. наук В. Н. Коваленко | ||
- | ===Спецсеминар | + | ===Спецсеминар «Технологии баз данных»=== |
Научные руководители: | Научные руководители: | ||
профессор, доктор технических наук С. Д. Кузнецов, | профессор, доктор технических наук С. Д. Кузнецов, | ||
профессор, доктор физ.-мат. наук А. С. Марков | профессор, доктор физ.-мат. наук А. С. Марков | ||
- | + | ||
===Спецсеминар «Интернет, распределенные информационные системы и цифровые библиотеки»=== | ===Спецсеминар «Интернет, распределенные информационные системы и цифровые библиотеки»=== | ||
Строка 149: | Строка 228: | ||
Научные руководители: | Научные руководители: | ||
доцент, кандидат физ.-мат. наук С. С. Гайсарян, | доцент, кандидат физ.-мат. наук С. С. Гайсарян, | ||
- | + | кандидат физ.-мат. наук А. В. Чернов | |
+ | |||
+ | Сайт семинара: http://sp.cmc.msu.ru/specsem/aop/ |
Текущая версия
На данной странице можно делиться своими мнениями и опытом по поводу научной работы, ведущейся на ВМК, кафедрах и, возможно, научниках.
[править] 1 поток
[править] 2 поток
[править] Кафедра математической кибернетики (МК)
- зав. кафедрой - профессор Валерий Борисович Алексеев
- сайт: http://mathcyb.cs.msu.su
- email: mk@cs.msu.su
- тел.: (095) 939-53-92
Спецсеминары:
- Дискретная математика и математическая кибернетика
- Дискретные функции и сложность алгоритмов
- Дискретный анализ
- Некоторые вопросы синтеза управляющих систем
- Параллельные вычисления в криптографии
- Теоретические проблемы программирования
- Теория управляющих систем и математические модели СБИС
Расписание спецкурсов и спецсеминаров, темы спецсеминаров и прочую информацию о кафедре можно найти на полуофициальной вики http://mathcyb.ru.
[править] 3 поток
[править] Кафедра алгоритмических языков (АЯ)
- Зав. кафедрой - профессор Михаил Георгиевич Мальковский
- сайт: http://al.cs.msu.ru
- статья на википедии
- описание на сайте ВМиК Online!
- email: ay@cs.msu.su
- тел.: (495) 939-53-98, (495) 939-18-80
[править] Спецсеминар «Компьютерная лингвистика»
список преподавателей:
- проф. М.Г. Мальковский
- доц. И.А. Волкова
- асс. И.Н. Полякова
- ?? Т.Ю. Грацианова
из направлений, которые включает в себя компьютерная лингвистика, основными являются:
- Машинный перевод
- Информационный поиск
- Создание электронных словарей, тезаурусов, онтологий
- Обработка естественного языка (синтакический, морфологический, семантический анализы текста; англ. parsing)
- Data Mining (автоматическое извлечение и анализ данных)
- Автореферирование (автоматическое реферирование текстов)
- Построение систем управления знаниями
- Оптическое распознавание символов (англ. OCR)
- Автоматическое распознавание речи (англ. ASR)
- Корпусная лингвистика, создание и использование электронных корпусов текстов
более подробно можно почитать на википедии
однако, спектр областей, изучаемых на этой кафедре несоизмеримо уже перечисленных выше, а изучаемые преподаются на уровне 10 или даже 15-ти летней давности. это печально. (*горький вздох выпускника*)
также, можно составить определённое впечатление по следующим материалам, преподаваемым на спецсеминарах:
- программа спецкурса с сайта кафедры
- преподаваемые материалы с Либрусека
[править] Мальковский
[править] Волкова
[править] Полякова
[править] Грацианова
[править] Спецсеминар «Искусственный интеллект»
Почитать об искусственном интеллекте на ру-википедии
Список преподавателей:
- Пильщиков Владимир Николаевич, заместитель заведующего кафедрой, доцент, к.ф.-м.н.
- Большакова Елена Игоревна, доцент, к.ф.-м.н.
- Бордаченкова Елена Анатольевна, доцент, к.ф.-м.н.
- Лукашевич Наталья Валентиновна, ст. научн. сотр.
На спец-семинарах в основном занимаются пересечением двух наук: искусственного интеллекта и компьютерной лингвистики.
То, с чем вам скорей всего придётся работать:
- обработка естественных языков,
- инженерия знаний (кстати, Большакова любопытнейший спецкурс читает по этой теме :D),
- информационный поиск.
Спецсеминар ведёт давнюю дружбу с НИВЦевой кафедрой Доброва, разрабатывающей Университетскую информационную систему Россия (что-то типо крутого поиска по всяким источникам). Поэтому их сотрудники периодически ходят к нам на семинары и берут себе студентов под крыло (в смысле курсовых и дипломов) -- бояться их не надо. =)
[править] Спецсеминар «Программное обеспечение ПЭВМ»
(доц. В.Г. Абрамов, ст. преп. И.Г. Головин)
[править] Спецсеминар «Методологии и технологии в распределенных информационных системах»
(к.ф.-м.н. В.В. Леонтьев, асп. А.В. Субботин, асп. К.В. Ахтырченко)
[править] Спецсеминар «Обучающие системы»
(проф. Н.П. Трифонов, н.с. В.И. Громыко, н.с. Ю.В. Кучевский)
[править] Спецсеминар «Языки программирования»
(к.ф.-м.н. С.И. Рыбин, к.ф.-м.н. А.Л. Александров)
[править] Спецсеминар «Языки и трансляторы»
(доц. Т.В. Руденко) К сожалению, этого спецсеминара уже нет. И сама Т.В.Руденко вроде как уже не преподает.
[править] Спецсеминар «Методы синтаксического анализа»
(ст. преп. Л.И. Станевичене, н.с. А.А. Вылиток)
[править] Спецсеминар «Компьютерная алгебра»
(проф. С.А. Абрамов)
[править] Спецсеминар «Парадигмы программирования»
- Столяров Андрей Викторович, ассистент, к.ф.-м.н.
- Головин Игорь Геннадьевич, доцент, к.ф.-м.н.
В рамках данного спецкурса занимаются методами непосредственной интеграции (библиотека InteLib) и, может быть, много, чем ещё. :)
[править] Кафедра автоматизации систем вычислительных комплексов (АСВК)
- Зав. кафедрой - лауреат Государственной премии член-корреспондент РАН Лев Николаевич Королев
- Сайт:
отсутствуетну не то чтобы совсем отсутствует, http://asvk.cs.msu.su/ - E-mail: asvk@cs.msu.su
- Тел.: (495) 939-56-34, 939-17-95, 939-17-89
[править] Лаборатория вычислительных комплексов (ЛВК)
- Сайт: http://lvk.cs.msu.su/
- Зав. лаб.: Смелянский Руслан Леонидович
- Расположение: 7й этаж, южный сапог, комн.760,761,764 и 2й этаж, комн. 247а
[править] Семинар моделирования
[править] Семинар безопасности
[править] Семинар планирования вычислений и синтеза архитектур
[править] Семинар интернет и базы данных
[править] Лаборатория компьютерной графики и мультимедиа (ЛКГиММ)
- Сайт: http://graphics.cs.msu.ru/
- ru-wikipedia
- Зав. лаб.: Баяковский Юрий Матвеевич
[править] Группа компьютерного зрения
[править] Видеогруппа
[править] Группа трёхмерной графики
[править] Лаборатория параллельной обработки экспериментальных данных с использованием нейросетей и генетических алгоритмов эволюционного программирования (ЛПО эд Синсига)
- Сайт: http://angel.cs.msu.ru/
- Зав. лаб.: Королёв Лев Николаевич
- Научные руководители: Королёв Лев Николаевич, Попова Нина Николаевна, Томилин Александр Николаевич, Сальников Алексей Николаевич
Лаборатория занимается тем, что указано в её названии. Конкретно:
- Параллельные вычисления и всё, что с ними связано: алгоритмы параллельной обработки, измерение производительности высокопроизводительных систем, визуализация на параллельных системах, решение различных задач на параллельных архитектурах, разработка тулкитов для разработки на параллельных архитектурах
- Нейросети и эволюционное программирование. Сюда же генетические алгоритмы, генетическое программирование, всякие другие nature-inspired алгоритмы
Естественно, также наличествует и смешение предыдущих пунктов в любых пропорциях.
У семинара есть собственный умирающий кластер (hill), доступ к кластерам Regatta, BlueGene/МГУ, СКИФ/НИВЦ.
[править] Лаборатория технологий программирования
- Зав. лаб.: Машечкин Игорь Валерьевич
[править] Кафедра системного программирования (СП)
- Зав. кафедрой - лауреат Государственной премии академик, профессор Виктор Петрович Иванников
- Сайт: sp.cmc.msu.ru
- E-mail: sp@cs.msu.su
- Тел.: (495) 939-18-77
[править] Спецсеминар «Распределенные объектно-ориентированные системы»
Научные руководители: академик, профессор, доктор физ.-мат. наук В. П. Иванников, к.ф.-м.н. Денис Юрьевич Турдаков
На семинаре занимаются xml базами данных и анализом текстов. Сайт семинара http://modis.ispras.ru/seminar/
[править] Спецсеминар «Планирование целенаправленной деятельности»
Научные руководители: доцент, кандидат физ.-мат. наук Л. С. Корухова, кандидат физ.-мат. наук В. В. Малышко, ассистент В. А. Морозов.
[править] Спецсеминар «Корректность программ»
Научные руководители: проф., доктор физ.-мат. наук А. К. Петренко, кандидат физ.-мат. наук А. В. Максимов, доцент, кандидат физ.-мат. наук В. В. Кулямин
Сайт семинара: http://sp.cmc.msu.ru/specsem/vvp/
[править] Спецсеминар «Операционные системы и языки программирования распределенных вычислительных систем»
Научные руководители: профессор, доктор физ.-мат. наук В. А. Крюков
[править] Спецсеминар «CASE-технологии»
Научные руководители: академик, профессор, доктор физ.-мат. наук В. П. Иванников, доц., кандидат физ.-мат. наук Е. А. Кузьменкова,
[править] Спецсеминар «Метакомпьютинг»
Научные руководители: кандидат физ.-мат. наук В. Н. Коваленко
[править] Спецсеминар «Технологии баз данных»
Научные руководители: профессор, доктор технических наук С. Д. Кузнецов, профессор, доктор физ.-мат. наук А. С. Марков
[править] Спецсеминар «Интернет, распределенные информационные системы и цифровые библиотеки»
Научный руководитель: профессор, доктор физ.-мат. наук В. А. Серебряков
[править] Спецсеминар «Анализ и оптимизация программ»
Научные руководители: доцент, кандидат физ.-мат. наук С. С. Гайсарян, кандидат физ.-мат. наук А. В. Чернов
Сайт семинара: http://sp.cmc.msu.ru/specsem/aop/