![](sv.jpg)
Институт математики им. С. Л. Соболева
Российская академия наук,
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»
Основные статьи:
- Goncharov S. S., Sviridenko D. I.
Theoretical aspects of Σ-programming. Lecture Notes in Computer Science, 1986, vol. 215, p. 169–179.
- 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.
- Goncharov S. S., Ershov Yu. L., Sviridenko D. I.
Semantic foundations of programming, // LNCS. Vol. 278. 1987. pp. 116–122.2.
- Goncharov S. S., Sviridenko D. I.
Σ-programming // Transl., II.Ser., Am. Math. Soc., 1989, vol. 142, p. 101–121.
- 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
- 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
- Goncharov S. S., Sviridenko D. I.
Semantic modeling and hybrid models. 2018 Siberian Symposium on Data Science and Engineering (SSDSE). Novosibirsk, Russia.
- 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
- Goncharov S. S., Sviridenko D. I.
Semantic modeling and artificial intelligence // Siberian Journal of Philosophy. - 2018. - T. 16, No. 4. - S. 5–25.
- 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
- 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
- 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
- Гончаров С. С., Свириденко Д. И.
Проблемы цифровизации и семантическое моделирование. Материалы ХII мультиконференции по проблемам управления, 23-28 сентября 2019 г.Дивноморское, Геленджик, Том 1, С. 16-19
- 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
- Витяев Е. Е., Гончаров С. С., Свириденко Д. И.
Задачный подход к искусственному интеллекту. Сибирский философский журнал. 2019. Т. 17, № 4. С. 5-27
- Витяев Е. Е., Гончаров С. С., Свириденко Д. И.
О задачном подходе в искусственном интеллекте и когнитивных науках. Сибирский философский журнал. 2020. Т. 18, № 1.
- 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
- 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
|