Легалов Александр Ивановичдоктор технических наук, профессор Профессор факультета компьютерных наук |
Родился в 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.