Вы здесь

Нагорный Александр Степанович

Версия для печатиSend by email

Старший преподаватель кафедры МК

Ученая степень: 
канд. физ.-мат. наук

Родился 21 декабря 1968 г., город Потсдам (ГДР).

Окончил с золотой медалью среднюю школу № 8 г. Слуцка Минской обл. Белорусской ССР (1986), с отличием окончил факультет вычислительной математики и кибернетики МГУ (1991). Обучался в аспирантуре факультета ВМК (1991–1994, 1995–1996). Работал приглашённым преподавателем в университете «Huanuco» (Перу, 1994–1995). В Московском университете работает с 1996 г.: младший научный сотрудник (2001), ассистент (2014), старший преподаватель кафедры математической кибернетики (2015).

Область научных интересов: дискретная математика, cтатический анализ свойств программ, алгоритмы на дискретных структурах, теория частичных булевых функций, теория функций многозначной логики.

А.С. Нагорным получена асимптотика сложности задачи сортировки k-значного n-мерного куба, поставлена и решена задача идентификации объектов, передвигающихся по k-значному n-мерному кубу, модернизирован и реализован алгоритм статического анализа программ, устанавливающий диапазоны значений индексов массивов в символьном виде.

Ведёт семинарские занятия по обязательным курсам: «Дискретная математика», «Дополнительные главы дискретной математики», «Основы кибернетики».

А.С. Нагорный принимал участие в работе лаборатории математических проблем компьютерной безопасности факультета ВМК с момента её основания (2001). Участвует в работе оргкомитета Всероссийской олимпиады школьников по математике (с 1998), является постоянным членом оргкомитета Олимпиады школьников по прикладной математике и информатике факультета ВМК МГУ (с 2002). Преподаватель подготовительных курсов факультета ВМК (с 2000). Преподаватель ВМШ факультета ВМК (2002–2003, 2014-2015).

Автор 28 научных работ, в том числе:

  • О некоторых свойствах пересечений предполных классов многозначной логики // Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460). — 2016. — Т. 20, № 3. — с. 64–68;
  • Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМК МГУ, 2003, с. 54–55;
  • О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
  • Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150.

Предложения по содержанию и функционированию сайта направляйте по адресу cmcproject@cs.msu.ru.