Касьянов, Виктор Николаевич

Виктор Николаевич Касьянов (род. 15 августа 1948, Барановичи, Белорусская ССР, СССР) — советский и российский учёный, специалист в области теоретического и системного программирования[1]. Доктор физико-математических наук, профессор. Главный научный сотрудник и заведующий лабораторией «Конструирование и оптимизация программ» Института систем информатики имени А. П. Ершова Сибирского отделения Российской академии наук. Член-корреспондент РАЕН.

Общие сведения
Виктор Николаевич Касьянов
Дата рождения 15 августа 1948(1948-08-15) (78 лет)
Место рождения
Страна
Научная сфера математика, информатика, программирование
Место работы
Учёная степень доктор физико-математических наук
Учёное звание профессор
Награды и премии
RUS Medal of the Order For Merit to the Fatherland 2nd class ribbon.svg
Сайт pco.iis.nsk.su/~kvn/

Биография

Родился 15 августа 1948 года в Барановичах.

В 1953 году переехал в Новосибирск[2]. В 1966 году окончил среднюю школу № 10 с золотой медалью и поступил в Новосибирский государственный университет[3].

Работает по совместительству в НГУ с 1974 года, в должности профессора с 1990 года. Более 35 лет читает основные курсы по программированию и информатике студентам ММФ НГУ.

В 1992 году Виктору Касьянову было присвоено учёное звание профессора[3].

В 1992—1994 годах являлся президентом Сибирского межрегионального фонда «Информатика: развитие и образование»[3].

С 2002 по 2023 год был членом Объединённого учёного совета СО РАН по математике и информатике[2].

С 2015 года является экспертом Российского научного фонда, а с 2016 года — экспертом Российской академии наук[3].

Научная деятельность

Виктор Касьянов внёс значительный вклад в область визуализации программ с применением теории графов. Он является соавтором фундаментальной монографии «Графы в программировании: обработка, визуализация и применение».

Под его руководством была разработана экспериментальная система Visual Graph, предназначенная для визуализации атрибутированных иерархических графовых моделей большого размера.

Занимался изучением и описанием стандарта представления графов на основе XML — языка GraphML[4].

Награды и звания

Публикации

  • Касьянов В. Н., Гордеев Д. С., Золотухин Т. А. [и др.] Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ: монография / под ред. В. Н. Касьянова. — 2020. — 256 с[6].
  • Касьянов В. Н., Касьянова Е. В. Теория вычислений: учебное пособие. — 2018. — 196 с[6].
  • Касьянов В. Н., Касьянова Е. В. Визуализация информации на основе графовых моделей: учебное пособие. — 2014. — 148 с[6].
  • Касьянов В. Н., Касьянова Е. В. Визуализация графов и графовых моделей / под ред. В. Н. Касьянова. — Новосибирск: Сибирское научное издательство, 2010. — 122 с[6]
  • Касьянов В. Н., Касьянова Е. В. Язык программирования Zonnon: учебное пособие. — 2010. — 119 с.[6]
  • Касьянов В. Н., Касьянова Е. В. Веб-системы по теоретико-графовым моделям и методам в программировании // Электронные библиотеки. — 2026. — Т. 29, вып. 1. — С. 99—122.[7].
  • Касьянов В. Н., Касьянова Е. В. Методы и технологии конструирования эффективных и надёжных программ и программных систем на основе графовых моделей и семантических преобразований // Системная информатика. — 2021. — № 19. — С. 1—14[8].

Примечания

  1. В. Н. Касьянов. Lib.ru. Дата обращения: 26 марта 2026.
  2. 1 2 Касьянов Виктор Николаевич. programming.iis.nsk.su. Дата обращения: 26 марта 2026.
  3. 1 2 3 4 Касьянов Виктор Николаевич. mmf-old.nsu.ru. Дата обращения: 26 марта 2026.
  4. Исследования в области визуализации графов. iis.nsk.su. Дата обращения: 26 марта 2026.
  5. Указ Президента Российской Федерации от 14 января 2014 года № 18 «О награждении государственными наградами Российской Федерации» Архивная копия от 3 февраля 2014 на Wayback Machine
  6. 1 2 3 4 5 [=ESVODT&showHumanSrc=1&allowHumanSaveSrc=1&o=Search&query="A=КАСЬЯНОВА,+Е.+В."&flat=1&fmt=flat&fmttype=WebCats Каталог изданий В. Н. Касьянова]. ГПНТБ России. Дата обращения: 26 марта 2026.
  7. Веб-системы по теоретико-графовым моделям и методам в программировании. Электронные библиотеки. Дата обращения: 26 марта 2026.
  8. Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований. Системная информатика. Дата обращения: 26 марта 2026.

Литература