Нагорный Александр Степанович
Родился 21 декабря 1968 г. в Потсдаме (ГДР). Окончил с золотой медалью среднюю школу № 8 г. Слуцка Минской обл. Белорусской ССР (1986), с отличием окончил факультет вычислительной математики и кибернетики МГУ (1991). Обучался в аспирантуре факультета ВМиК (1991–1994, 1995–1996). Работал приглашенным преподавателем в университете «Huanuco» (Перу, 1994–1995). В Московском университете работает с 1996 г., с 2001 г. является младшим научным сотрудником кафедры математической кибернетики.
А.С. Нагорный принимает активное участие в работе лаборатории математических проблем компьютерной безопасности факультета ВМиК с момента ее основания (2001). Участвует в работе оргкомитета Всероссийской олимпиады школьников по математике (с 1998), является постоянным членом оргкомитета олимпиад факультета ВМиК для школьников по математике и информатике (с 2002). Преподаватель ВМШ факультета ВМиК (2002–2003).
Содержание
Области научных интересов
- Дискретная математика
- Алгоритмы на дискретных структурах
- Статический анализ свойств программ
Основные научные результаты
А.С. Нагорным получена асимптотика сложности задачи сортировки k-значного n-мерного куба, поставлена и решена задача идентификации объектов, передвигающихся по k-значному n-мерному кубу, модернизирован и реализован алгоритм статического анализа программ, устанавливающий диапазоны значений индексов массивов в символьном виде.
Лекционные курсы
Спецкурсы
Семинары
- Дискретная математика
- Дополнительный главы дискретной математики
- Основы кибернетики
- Пакеты прикладных программ
Спецсеминары
Студенты и аспиранты
Избранные публикации
- Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150;
- О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
- Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМиК МГУ, 2003, с. 54–55.
