Институт математики им. С. Л. Соболева EN/RU      
 

 

Институт математики им. С. Л. Соболева
Российская академия наук,
630090, Новосибирск, Россия
Офис: 7- (383) -363-45-62
Факс: 7- (383) -333-25-98
Тел: +7-961-875-18-08
E-mail: dsviridenko47@gmail.com

Cвириденко Дмитрий Иванович, доктор физ.-мат. наук


Направления специализации

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

Образование

1990 г. доктор физ.-мат. наук
Институт математики АН СССР (Новосибирск)
Докторская диссертация: «Теория семантического программирования».

1978 г., кандидат физ.-мат. наук
Институт математики АН СССР (Новосибирск)
Диссертация: «Денотационная семантика языков программирования»
Научный руководитель проф. Н. В. Белякин

1973 г. - магистр математики и прикладной математики
Новосибирский государственный университет
Магистерская диссертация «Относительная вычислимость»
Научный руководитель проф. Н. В. Белякин

1968 – 1973 гг. Студент механико-математического факультета
Новосибирский государственный университет (входил в тройку лучших вузов СССР).

1964-1968 гг. Студент лечебного факультета
Хабаровский государственный медицинский университет.
Диплом средней школы (г. Хабаровск) - 1964 г.

Языки

Английский, русский (родной).

Навыки и умения

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

Профессиональный опыт

2019 г. - по настоящее время – Советник директора по инновациям,
Институт математики (Новосибирск), дирекция института

2017-2019 гг. Член творческого временного коллектива
Институт математики (Новосибирск), грант РНФ № 17-11-01176, «Логико-вероятностный инструментарий искусственного интеллекта нового поколения»

1989 -1992 гг. Заведующий лабораторией
Институт математики (Новосибирск)
Лаборатория информационно-логических систем;

1981 -1989 гг. Старший научный сотрудник
Институт математики (Новосибирск)
Лаборатория прикладной логики;

1976–1981 гг. Заведующий отраслевой лабораторией
Институт математики (Новосибирск)
Отраслевая лаборатория

1973-1976 гг. Стажер-исследователь, лаборант
Институт математики (Новосибирск).

1975-по настоящее время. Профессор кафедры алгебры и логики, доцент кафедры общей информатики, профессор кафедры дискретной математики и информации
Новосибирский государственный университет.

Гранты и награды

2017-2019 Российский научный фонд.
Институт математики СО РАН, грант № 17-11-01176, «Логико-вероятностный инструментарий искусственного интеллекта нового поколения»

Общественная деятельность

Член Попечительского Совета Новосибирского государственного университета экономики и управления (НГУЭУ)
Учредитель Союза выпускников НГУ «СОЮЗ»
Член редколлегии Сибирского журнала индустриальной математики
Председатель Совета НКО «AI-cluster»

Основные статьи:

  1. Goncharov S. S., Sviridenko D. I.
    Theoretical aspects of Σ-programming. Lecture Notes in Computer Science, 1986, vol. 215, p. 169–179.

  2. Goncharov S. S., Ershov Yu. L., Sviridenko D. I.
    Semantic programming. In: Proc. IFIP 10-th World Comput. Congress. Dublin. Vol. 10. 1986. pp 1093–1100.

  3. Goncharov S. S., Ershov Yu. L., Sviridenko D. I.
    Semantic foundations of programming, // LNCS. Vol. 278. 1987. pp. 116–122.2.

  4. Goncharov S. S., Sviridenko D. I.
    Σ-programming // Transl., II.Ser., Am. Math. Soc., 1989, vol. 142, p. 101–121.

  5. Sviridenko D. I., Sibiryakov V. G.
    TRIZ - theory of solving innovative problems: part 1. What is an innovative problem. Siberian financial school. Management and Innovation (2017) No. 4/123, pp. 21-37

  6. Sviridenko D. I., Sibiryakov V. G.
    TRIZ - theory of solving innovative problems: part 2. How to solve innovative problems: development of the concept of innovation. Siberian financial school. Innovation (2017). No. 3/122, pp. 26-35

  7. Goncharov S. S., Sviridenko D. I.
    Semantic modeling and hybrid models. 2018 Siberian Symposium on Data Science and Engineering (SSDSE). Novosibirsk, Russia.

  8. Goncharov, S. S. Sviridenko, D. I.
    Recursive Terms in Semantic Programming (Article) // Siberian Mathematical Journal. - Volume 59, Issue 6, 1 November 2018, Pages 1014-1023. (Web of Science, Scopus)
    DOI: 10.1134/S0037446618060058
    https://link.springer.com/article/10.1134%2FS0037446618060058

  9. Goncharov S. S., Sviridenko D. I.
    Semantic modeling and artificial intelligence // Siberian Journal of Philosophy. - 2018. - T. 16, No. 4. - S. 5–25.

  10. Sviridenko D.
    Semantic Smart Wallets // 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russia, 2019, pp. 991-994. (Scopus)
    DOI: 10.1109/SIBIRCON48586.2019.8958372
    https://ieeexplore.ieee.org/document/8958372

  11. Goncharov S., Sviridenko D.
    Semantic Modeling and Hybrid Models // 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russia, 2019, pp. 987-990 (Scopus)
    DOI: 10.1109/SIBIRCON48586.2019.8958196
    https://ieeexplore.ieee.org/document/8958196

  12. Goncharov S.S. Sviridenko, D.I. Logical Language of Description of Polynomial Computing (Article) // Doklady Mathematics, Volume 99, Issue 2, 1 March 2019, pp. 121-124. (Web of Science, Scopus)
    DOI: 10.1134/S1064562419020030
    https://link.springer.com/article/10.1134/S1064562419020030

  13. Гончаров С. С., Свириденко Д. И.
    Проблемы цифровизации и семантическое моделирование. Материалы ХII мультиконференции по проблемам управления, 23-28 сентября 2019 г.Дивноморское, Геленджик, Том 1, С. 16-19

  14. Goncharov S., Ospichev S., Ponomaryov D., Sviridenko D.
    The expressiveness of looping terms in the semantic programming // Siberian Electronic Mathematical Reports,Volume 17, 2020, pp. 380-394. (Web of Science, Scopus)
    DOI: 10.33048/SEMI.2020.17.024
    http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=semr&paperid=1218&option_lang=eng

  15. Витяев Е. Е., Гончаров С. С., Свириденко Д. И.
    Задачный подход к искусственному интеллекту. Сибирский философский журнал. 2019. Т. 17, № 4. С. 5-27

  16. Витяев Е. Е., Гончаров С. С., Свириденко Д. И. 
    О задачном подходе в искусственном интеллекте и когнитивных науках. Сибирский философский журнал. 2020. Т. 18, № 1.

  17. Sergei S. Goncharov, Dmitrii I. Sviridenko, Evgenii E. Vityaev
    Task Approach to Artificial Intelligence // Proceedings of the Workshop on Applied Mathematics and Fundamental Computer Science 2020, Omsk, Russia, April 23-30, 2020. CEUR Workshop Proceeding. Vol. 2642.
    URL:http://ceur-ws.org/Vol-2642/paper1.pdf

  18. S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko
    The expressiveness of looping terms in the semantic programming. Siberian Electronic Mathematical Reports, 2020, #17, P. 380–394
 
  © Федеральное государственное бюджетное учреждение науки
Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук, 2021