Научный рецензируемый сетевой электронный журнал
Системы управления, связи и безопасности
Systems of Control, Communication and Security
ISSN 2410-9916

Легалов Александр Иванович

доктор технических наук, профессор
Эксперт Российского фонда фундаментальных исследований

Профессор факультета компьютерных наук
Национальный исследовательский университет "Высшая школа экономики" (г. Москва).

Родился в 1956 г. в г. Енисейск, Красноярского края.

В 1978 г. закончил Красноярский политехнический институт по специальности «Конструирование и производство радиоэлектронной аппаратуры».

В период 1978–1980 годы работал ассистентом кафедры вычислительной техники Красноярского политехнического института. С 1980 по 1983 год – аспирант Ленинградского электротехнического института им. В.И. Ульянова (Ленина).

В 1983 г. защитил диссертацию на соискание ученой степени кандидата технических наук по специальности «Организация вычислительных процессов в ЭВМ, комплексах и системах».

После защиты кандидатской диссертации продолжил научно-педагогическую деятельность в различных научных центрах страны. С 1984 по 1989 год – доцент Красноярского политехнического института. С 1989 по 1992 год – старший научный сотрудник Института проблем вычислительной техники АН СССР (г. Ярославль). С 1993 по 2007 год – доцент, профессор Красноярского государственного технического университета (бывшего Красноярского политехнического института).

В 2005 году защитил диссертацию на соискание ученой степени доктора технических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

С 2007 года – профессор кафедры вычислительной техники Сибирского федерального университета.

С 2020 года – профессор факультета компьютерных наук Национального исследовательского университета "Высшая школа экономики".

Эксперт Российского фонда фундаментальных исследований.

Активно участвует в подготовке научных кадров высшей квалификации. Председатель диссертационного совета Д 212.099.26 и член диссертационного совета Д 212.099.22 при Сибирском федеральном университете.

Член редколлегии научных журналов: «Открытые системы. СУБД», «Доклады академии наук высшей школы Российской Федерации»; «Системы управления, связи и безопасности».

Основные научные результаты связаны с разработкой теоретических основ технологии и техники программирования. В своих исследованиях, направленных на развитие архитектурно-независимого параллельного программирования предложил функционально-потоковая парадигму программирования. На основе исследований методов эволюционной разработки программного обеспечения предложил процедурно-параметрическую парадигму программирования. Разработал языковые и инструментальные средства, обеспечивающие поддержку предложенных парадигм.

Полученные научные результаты нашли широкое отражение в практических решениях в области вычислительной техники. В частности теоретические результаты были использованы в следующих грантах Минобрнауки и РФФИ: «Разработка элементной базы микроэлектроники, методов и средств микроэлектронного управления для энергопреобразующей аппаратуры перспективных космических аппаратов»; «Разработка методов и микроэлектронных систем управления исполнительной прецизионной автоматикой космических аппаратов с повышенным сроком активного существования»; «Инструментальная поддержка архитектурно-независимой разработки параллельных программ на основе функционально-потоковой парадигмы параллельного программирования»; «Методы и средства эволюционной разработки программного обеспечения с применением процедурно-параметрической парадигмы программирования»; «Архитектурно-независимая разработка параллельных программ на основе функционально-потоковой парадигмы».

По итогам научной и педагогической деятельности опубликовано около 200 работ. Основная часть опубликованных работ доступна в наукометрических базах: в базе РИНЦ, Google Академия, Scopus.

Области научных и практических интересов

Прикладные области:

  • технологии и техника программирования;
  • языки и парадигмы программирования;
  • трансляторы языков программирования;
  • программная инженерия;
  • параллельное программирование;
  • системное программирование;
  • применение свободного программного обеспечения.

Теоретические области:

  • теория параллельных вычислений;
  • теория языков и формальных грамматик;
  • теория сложных систем;
  • теоретическое программирование.

Наиболее значимые публикации автора

Легалов А. И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71-89.

Легалов А. И. Об управлении вычислениями в параллельных системах и языках программирования // Научный вестник НГТУ. 2004. № 3 (18). С. 63-72.

Легалов А. И. Швец Д. А. Процедурный язык с поддержкой эволюционного проектирования // Научный вестник НГТУ. 2003. № 2 (15). С. 25-38.

Легалов А. И., Ледяев Д. Н., Анкудинов А. В. Поддержка многокритериального анализа в сложных иерархических системах // Вестник новосибирского государственного университета. Серия: Информационные технологии. 2010. Том 8. № 1. С. 35-44.

Легалов А. И., Бовкун А. Я., Легалов И. А. Расширение модульной структуры программы за счет подключаемых модулей // Доклады АН ВШ РФ. 2010. № 1 (14). С. 114-125.

Legalov A. I., Nepomnyaschy O. V., Matkovsky I. V., Kropacheva M. S. Tail Recursion Transformation in Functional Dataflow Parallel Programs // Automatic Control and Computer Sciences. 2013. Vol. 47. No. 7. pp. 366–372.

Kropacheva M. S., Legalov A. I. Formal Verification of Programs in the Functional Data-flow Parallel Language // Automatic Control and Computer Sciences. 2013. Vol. 47. No. 7. pp. 373–384.

Legalov A, Kosov P. Evolutionary software development using procedural-parametric programming // CEE-SECR '13 Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia. ACM New York, NY, Article No. 3.

Легалов А. И., Васильев В. С., Матковский И. В., Ушакова М. С. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ // Труды ИСП РАН. 2017. Том 29. № 5. С. 165-184.

О журнале

Выпуски журнала

Авторам

Рецензентам

Всем


На сайте работает система проверки ошибок. Обнаружив неточность в тексте, выделите ее и нажмите Ctrl + Enter.