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

Профессор, д.т.н.
Телефон: 249-75-61
e-mail: ALegalov@sfu-kras.ru

Образование
Красноярский политехнический институт. Конструирование радиоэлектронной аппаратуры. 1978г.

Диссертации
Кандидатская диссертация:
Организация управления вычислениями в процессорах потоков данных, 1983г.

Докторская диссертация:
Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ, 2005г.

Место работы и должность
с 2012г. - Институт космических и информационных технологий Сибирского федерального университета, кафедра «Вычислительная техника», профессор, заведующий кафедрой.

до 2012г. - Институт космических и информационных технологий Сибирского федерального университета, кафедра «Вычислительная техника», руководитель научно-учебной лаборатории «Технологии программирования», профессор кафедры Вычислительной техники.

Основные преподаваемые дисциплины

  • технология разработки программного обеспечения

Общий стаж работы 35 лет

Стаж работы по специальности 35 лет

Научные направления

  • языки и парадигмы программирования
  • техника программирования
  • системное программирование
  • архитектурно-независимое параллельное программирование
  • эволюционная разработка программного обеспечения

Государственные награды, членство в научных сообществах

  • Нагрудный знак «За развитие научно-исследовательской работы студентов» Министерства образования и науки Российской Федерации.

Список значимых публикаций
Автор или соавтор более 140 печатных работ.

  • Легалов А.И., Казаков Ф.А., Кузьмин Д.А. Водяхо А.И. Модель параллельных вычислений функционального языка. Известия ГЭТУ, Сборник научных трудов. Выпуск 500. Структуры и математическое обеспечение специализированных средств. С.-Петербург, 1996. с. 56-63.
  • Легалов А.И. Процедурно-параметрическая парадигма программирования. Возможна ли альтернатива объектно-ориентированному стилю? - Красноярск: 2000. Деп. рук. № 622-В00 Деп. в ВИНИТИ 13.03.2000. - 43 с.
  • Легалов А.И. Швец Д.А. Процедурный язык с поддержкой эволюционного проектирования. – Научный вестник НГТУ, № 2 (15), 2003. С. 25-38.
  • Легалов А.И. Об управлении вычислениями в параллельных системах и языках программирования – Научный вестник НГТУ, № 3 (18), 2004. С. 63-72.
  • Легалов А.И. Методы поддержки параметрического полиморфизма. – Научный вестник НГТУ, № 3 (18), 2004. С. 73-82.
  • Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ. – Вычислительные технологии, № 1 (10), 2005. С. 71-89.
  • Легалов А.И., Ледяев Д.Н., Анкудинов А.В. Инструментальная поддержка многокритериального анализа при разработке сложных технических систем. / Вестник Сибирского государственного аэрокосмического университета. Вып. 2 (23). – 2009. – С. 50-55.
  • Легалов А.И., Ледяев Д.Н., Анкудинов А.В. Поддержка nмногокритериального анализа в сложных иерархических системах. / Вестник новосибирского государственного университета. Серия: Информационные технологии. Том 8, выпуск 1. - 2010. - С. 35-44.
  • Легалов А.И., Бовкун А.Я., Легалов И.А. Расширение модульной структуры программы за счет подключаемых модулей. / Доклады АН ВШ РФ, № 1 (14). – 2010. – С. 114-125.
  • Удалова Ю.В. Методы отладки и верификации функционально-потоковых параллельных программ / Ю.В. Удалова, А.И. Легалов, Н.Ю. Сиротинина // Журнал Сибирского федерального университета. Серия «Техника и технологии». Апрель 2011 (том 4, номер 2) – С. 213-224.
  • Легалов А.И., Солоха А.Ф. Особенности языка процедурно-параметрического программирования. / Вестник новосибирского государственного университета. Серия: Информационные технологии. Том 9, № 3. - 2011. - С. 15-22.
  • Легалов А.И., Ледяев Д.Н., Анкудинов А.В. Конструирование среды для многокритериального анализа сложных технических систем. // Журнал Сибирского федерального университета. Серия «Техника и технологии». Май 2012 (том 5, номер 2) – С. 140-149.
  • Легалов А.И., Савченко Г.В., Васильев В.С. Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ. / Системы. Методы. Технологии. № 1 (13). - 2012. - С. 113-119.
  • Кропачева М.С., Легалов А.И. Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования. / Моделирование и анализ информационных систем. Том 19, № 5. - 2012. С. 81-99.
  • Легалов А.И., Непомнящий О.В., Матковский И.В., Кропачева М.С. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах. / Моделирование и анализ информационных систем. Том 19, № 4. - 2012. С. 48-58.
  • Гризан С.А., Легалов А.И. Инструментальная поддержка эффективного использования высокопроизводительных гетерогенных систем. / Ползуновский вестник, № 2. - 2013. Стр. 68-73.
  • Васильев В.С., Легалов А.И., Постников А.И. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования // Системы. Методы. Технологии. 2013. №3(17). С. 106-111.
  • Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Отладка программ на функционально-потоковом параллельном языке Пифагор с подстановкой интервальных значений. / Ползуновский вестник, № 2. - 2013. Стр. 46-48.
  • Легалов А.И., Непомнящий О.В., Рыженко И.Н. Технология архитектурно-независимого синтеза сверхбольших интегральных схем. / Доклады АН ВШ РФ, №1 (22), 2014. С. 93-103.
  • Казанцев М.А., Легалов А.И., Чемидов И.В. Интеграция автоматизированных складских комплексов в информационную систему предприятия радиоэлектронной промышленности // Журнал Сибирского федерального университета, №2 (7), 2014. С. 222-228.
  • Казанцев М.А., Легалов А.И. Комплексная автоматизация управления производством ОАО «НПП «Радиосвязь». / Ползуновский вестник, № 2. - 2014. С. 183-187.
  • Методология мутационного тестирования для наземных испытаний ботовой аппаратуры космических аппаратов / Непомнящий О.В., Красненко С.С., Легалов А.И., Анкудинов А.В. // Системы и средства информатики. ИПИ РАН – 2014, -Т. 24. № 1. – С.75-81.
  • Udalova Yu.V., Legalov A.I. Verifikatsiya funktsional'no-potokovykh parallel'nykh programm metodom induktivnykh utverzhdenii [Verification of functional dataflow parallel programs using the method of inductive assertions]. Doklady Akademii Nauk Vysshei Shkoly Rossiiskoi Federatsii – Proceedings of the Russian Higher School Academy of Sciences, 2014, no. 2-3 (23-24), pp. 125-132.

Список публикаций, индексируемых в базе данных Scopus

  • Koshur V., Kuzmin D., Legalov A., Pushkaryov K. Solution of Large-Scale Problems of Global Optimization on Basis of Parallel Algorithms and Cluster Implementation of Computing Processes. / Parallel Computing Technologies, 10th International Confernce PACT August-September, 2009. – Novosibirsk, Russia. – Pp. 121-125.
  • Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language. / Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. – St. Petersburg, Russia. // Lecture Notes in Computer Science 7979, Springer, 2013. – Pp. 80-89.
  • 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. ISSN 0146-4116. © Allerton Press, Inc., 2013.
  • 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. ISSN 0146-4116. © Allerton Press, Inc., 2013.

Свидетельства о регистрации программных продуктов

  • Легалов А.И., Легалов И.А., Непомнящий О.В., Бовкун А.Я. Компилятор процедурно-параметрического языка программирования Alien. / Свидетельство о государственной регистрации программы для ЭВМ № 2011611159. Зарегистрировано в реестре программ 4 февраля 2011 года.
  • Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В. Транслятор с функционально-потокового языка параллельного программирования. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615829. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В. Генератор управляющего графа функционально-потоковых параллельных программ. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615830. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Непомнящий О.В., Легалов А.И., Титовский С.Н., Хабаров В.А. Программа микроэлектронного управлением импульсным стабилизатором напряжения. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615831. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В., Хабаров В.А. Интерпретатор функционально-потоковых параллельных программ. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615832. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Легалов А.И., Непомнящий О.В., Удалова Ю.В., Хабаров В.А. Графический отладчик функционально-потоковых параллельных программ на языке Пифагор под ОС Linux. / Свидетельство о государственной регистрации программы для ЭВМ № 2012612190. Зарегистрировано в реестре программ 28 февраля 2012 года.

Список учебных пособий, монографий

  • Легалов А.И. Технология программирования. Процедурная и объектно-ориентированная парадигмы. Метод. указания по выполнению лабораторной работы № 1. / Красноярск: ИПЦ КГТУ, 2006, 43 с.
  • Легалов А. И., Миркес Е. М., Сиротинина Н. Ю. Нейроинформатика: учебное пособие/Красноярск: ИПЦ КГТУ, 2006. – 172 с.
  • Легалов, А.И. Современные проблемы информатики и вычислительной техники: учебное пособие / А.И. Легалов; Сибирский федеральный университет. – Томск: Изд-во «СПБ Графикс», 2012. – 216 с.
  • Legalov, A.I. Modern Issues of Computer Science: study aid / A.I Legalov; Siberian Federal University. Tomsk: «SPB Graphics», 2012. – 164 p.

Список авторских свидетельств и патентов

  • Легалов А.И., Легалов И.А., Непомнящий О.В., Бовкун А.Я. Компилятор процедурно-параметрического языка программирования Alien. / Свидетельство о государственной регистрации программы для ЭВМ № 2011611159. Зарегистрировано в реестре программ 4 февраля 2011 года.
  • Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В. Транслятор с функционально-потокового языка параллельного программирования. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615829. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В. Генератор управляющего графа функционально-потоковых параллельных программ. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615830. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Непомнящий О.В., Легалов А.И., Титовский С.Н., Хабаров В.А. Программа микроэлектронного управлением импульсным стабилизатором напряжения. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615831. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Легалов А.И., Непомнящий О.В., Редькин А.В., Матковский И.В., Хабаров В.А. Интерпретатор функционально-потоковых параллельных программ. / Свидетельство о государственной регистрации программы для ЭВМ № 2011615832. Зарегистрировано в реестре программ 27 июля 2011 года.
  • Легалов А.И., Непомнящий О.В., Удалова Ю.В., Хабаров В.А. Графический отладчик функционально-потоковых параллельных программ на языке Пифагор под ОС Linux. / Свидетельство о государственной регистрации программы для ЭВМ № 2012612190. Зарегистрировано в реестре программ 28 февраля 2012 года.
  • Легалов А.И., Непомнящий О.В., Матковский И.В., Кропачева М.С. Синтаксический анализатор текстового представления реверсивного информационного графа. / Свидетельство о государственной регистрации программы для ЭВМ № 2013611434. Зарегистрировано в реестре программ 9 января 2013 года.
  • Легалов А.И., Непомнящий О.В., Матковский И.В., Васильев В.С. Модуль формирования графического представления реверсивного информационного графа. / Свидетельство о государственной регистрации программы для ЭВМ № 2013611617. Зарегистрировано в реестре программ 29 января 2013 года.
  • Легалов А.И., Непомнящий О.В., Матковский И.В., Сиротинина Н.Ю. Модуль формирования реверсивного информационного графа. / Свидетельство о государственной регистрации программы для ЭВМ № 2013611618. Зарегистрировано в реестре программ 29 января 2013 года.
  • Васильев В.С., Легалов А.И., Кропачева М.С. Модуль формирования оптимизацинного внутреннего представления программ ФПЯП «Пифагор». / Свидетельство о государственной регистрации программы для ЭВМ № 2013613531. Зарегистрировано в реестре программ 10 апреля 2013 года.
  • Легалов А.И., Удалова Ю.В. Верификатор функционально-потоковых параллельных программ на языке Пифагор под ОС Linux. / Свидетельство о государственной регистрации программы для ЭВМ № 2013660557. Зарегистрировано в реестре программ 15 января 2014 года.
  • Легалов А.И., Косов П.В., Легалов И.А., Швец Д.А. Транслятор с процедурно-параметрического языка программирования для операционной системы Linux. / Свидетельство о государственной регистрации программы для ЭВМ № 2014612264. Зарегистрировано в реестре программ 21 февраля 2014 года.

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

  • 2010-2012 гг.: Разработка элементной базы микроэлектроники, методов и средств микроэлектронного управления для энергопреобразующей аппаратуры перспективных космических аппаратов. Научное руководство.
  • 2012-2013 гг.: Разработка методов и микроэлектронных систем управления исполнительной прецизионной автоматикой космических аппаратов с повышенным сроком активного существования Научное руководство.
  • 2012-2013 гг.: Инструментальная поддержка архитектурно-независимой разработки параллельных программ на основе функционально-потоковой парадигмы параллельного программирования. Научное руководство.
  • 2013-2015 гг.: Методы и средства эволюционной разработки программного обеспечения с применением процедурно-параметрической парадигмы программирования

Научная и общественная деятельность

  • Член диссертационного совета Д 212.099.16

Текущая неделя - первая. Расписание занятий

Яндекс.Метрика