КАНДИДАТ ТЕХНИЧЕСКИХ НАУК, СТАРШИЙ НАУЧНЫЙ СОТРУДНИК
Q:
Расскажите, пожалуйста, про область Ваших исследований.
A:
Формальные методы в программной инженерии. Это разработка и верификация программных комплексов на базе формальных моделей программ. Оптимизация, в том числе и распараллеливание, реализуется специальными оптимизирующими трансформациями.
Q:
Расскажите, пожалуйста, про важнейшие результаты ваших научных исследований. Какие результаты имеют наибольшее влияние на жизнь и науку?
A:
Концепция предикатного программирования разрабатывается более 40 лет. Это чистое функциональное программирование. Предельная эффективность программ достигается применением оптимизирующих трансформаций. В рамках данной концепции построена классификация программ в целях разработки адекватной технологии программирования для каждого класса программ. В кооперации с коллегами из Института Системного Программирования РАН ведется работа по дедуктивной верификации библиотек программ ядра операционной системы Linux. Данная работа является частью проекта по разработке отечественной ОС Astra Linux Special Edition, ориентированной на применение в военных и правительственных организациях.
Q:
Как Вы считаете, что в Ваших исследованиях важно для развития фундаментальной науки, а что для прикладных областей?
A:
На этот философский вопрос ответил академик А.Д. Александров.
Q:
Каким образом у Вас ведётся исследовательская деятельность?
Сколько студентов специализируется у Вас?
A:
На конкретных примерах программ на языке Си отрабатываются методы обратной трансформации в целях последующей дедуктивной верификации программ.
Q:
Какими знаниями касательно области Ваших исследований должен обладать студент, чтобы успешно начать с Вами работать?
A:
Знакомство с функциональным программированием и с языком Си. Владение аппаратом логики для доказательства теорем на ЭВМ в системах автоматического доказательства.
Q:
На какие тематики Вы собираетесь вести работу со студентами?
A:
Информация о темах работ на сайте кафедры Программирования.
Q:
Формальные требования к студентам, которые планируют специализироваться у Вас? Спецкурсы, отметки по конкретным предметам, средний балл?
A:
Спецкурс Формальные методы в программной инженерии.
