Институт системного программирования им. В.П. Иванникова РАН


Игорь Борисович Бурдонов

доктор физико-математических наук

Игорь Борисович Бурдонов, доктор физико-математических наук ORCID: http://orcid.org/0000-0001-9539-7853
Scopus Author ID: 6602930101

Должность

Ведущий научный сотрудник Института системного программирования РАН.

Контакты

E-mail: igor@ispras.ru
Адрес: 109004, Москва, А.Солженицына, 25.





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

  • Формальные спецификации;
  • Генерация тестов;
  • Технология компиляции;
  • Системы реального времени;
  • Операционные системы;
  • Объектно-ориентированное программирование;
  • Сетевые протоколы;
  • Процессы разработки программного обеспечения.

Краткая биография

Окончил физ.-мат. школу №444. Выпускник мехмата МГУ 1971 г. Работал в Институте Точной Механики и Вычислительной Техники (ИТМиВТ АН СССР) в 1971-1980 гг. Занимался операционной системой периферийной машины многомашинного вычислительного комплекса АС-6. Участник подготовки и обеспечения управления полётом космических кораблей «Союз-Аполлон». Кандидат физ.-мат. наук (1979 г.), старший научный сотрудник. С 1980 г. работал в НИИ «Дельта» в коллективе, который под руководством академика А.А.Мельникова создавал суперкомпьютер «Электроника-СС-БИС». Позже, в Институте Проблем Кибернетики (ИПК АН СССР) руководил созданием кластерной операционной системы. В настоящее время работает ведущим научным сотрудником в Институте Системного Программирования (ИСП РАН). Занимался сначала практикой, а затем математической теорией верификации программ на основе формальных спецификаций.

Проекты РФФИ, возглавляемые И.Б. Бурдоновым

  • Проект 06-01-00503 А. Разработка технологии добычи данных (data mining) в приложении к построению систем поддержки принятия решений
  • Проект 11-07-00084 А. Конечная полная верификация обобщенной конформности распределенных систем
  • Проект 14-07-00491 А. Исследование графов коллективом автоматов

Патенты