Работает в МИФИ с 1973 года
Научно-педагогический стаж:
49
лет
О себе
-- Награжден орденом (2023 г.) и медалью (2019 г.) "За вклад в развитие НИЯУ МИФИ"
-- Награжден Европалатой дипломом (Diploma di Merito) и золотой медалью за выдающиеся профессиональные достижения (2016 г.)
-- Академик Международной академии информатизации (2013 г.)
-- Член Международного общества Association for Computing Machinery (ACM). Имеет звание ACM Senior Member (2009 г.)
Образование
Высшее образование — специалитет, магистратура: Московский инженерно-физический институт. 1973. Специальность «Прикладная математика». Kвалификация «Инженер-математик»
Профессиональное обучение: ФГАОУ ВО "Национальный исследовательский ядерный университет "МИФИ". 2014. Повышение педагогического мастерства нпр: интернационализация образования ПК №009940.
Профессиональное обучение: ФГАОУ ВО "Национальный исследовательский ядерный университет "МИФИ". 2015.
Профессиональное обучение: ЧОУ ДПО "1С-Образование". 2020. Новые информационные технологии в образовании 100000 №00151121.
Профессиональное обучение: ФГАОУ ВО "Национальный исследовательский ядерный университет "МИФИ". 2021. Цифровая грамотность современного преподавателя ПК №048504.
Преподаваемые дисциплины
1.
Абстрактные вычислительные машины
2.
Введение в семантический анализ данных
3.
Дискретная математика (модели вычислений)
4.
Когнитивные технологии и семантические сети
5.
Конструирование программных систем
6.
Семантически безопасное информационное моделирование
7.
Семантические технологии в информационных системах
8.
Системный анализ, управление и обработка информации, статистика
9.
Формализация данных в системах искусственного интеллекта
Публикационная активность
3
Индекс Хирша
(Web of Science)
Показаны публикации за последние 3 года
-
Статья
Web of Science & Scopus
Semantic neighborhood in cognitive modeling
//
Cognitive Systems Research, 2025
Vol. 93
doi
-
труды конференции РИНЦ
When and where conceptual maths equals to conceptualmodeling:Reasons for using in cognitive modeling
//
Информационные технологии интеллектуальной поддержки принятия решений (памяти проф. Н.И. Юсуповой) ITIDS 2024, 2024
pp. 180-184
-
Статья
Web of Science & Scopus
Logical-Applicative Computing Based on Type Theory
//
Studies in Computational Intelligence, 2024
Vol. 477 SCI, Q4
pp. 426-434
doi
-
Статья
Web of Science & Scopus
Inferable Methods for Identifying Objects
//
Studies in Computational Intelligence, 2024
Vol. 477 SCI, Q4
pp. 435-441
doi
-
Статья
Web of Science & Scopus
When and Where Conceptual Maths Equals to Conceptual Modeling: Reasons for Using in Cognitive Modeling
//
Studies in Computational Intelligence, 2024
Vol. 1130 LNCS, Q4
pp. 973-979
doi
-
Статья
Web of Science & Scopus
Semantic configuration model with natural transformations
//
Cognitive Systems Research, 2024
Vol. 83, Q1
doi
-
Статья
Web of Science & Scopus
Building a cognitive system based on process interaction
//
Cognitive Systems Research, 2024
Vol. 83, Q1
doi
-
Статья
Web of Science & Scopus
Computationally inspired cognitive modeling
//
Cognitive Systems Research, 2024
Vol. 83, Q1
doi
-
Статья
Web of Science & Scopus
The applicative approach to the synthesis of a data structure with the given combinatory characteristic
//
Cognitive Systems Research, 2023
Vol. 77, Q1
pp. 88-93
doi
-
Статья
Web of Science & Scopus
Constructing generator of words of context-sensitive language on example of typed λ-calculus
//
Procedia Computer Science, 2022
Vol. 213, No. C, Q2
pp. 556-562
doi
-
Статья
Web of Science & Scopus
Applicative approach to construe a computational model of concepts and individuals
//
Procedia Computer Science, 2022
Vol. 213, No. C, Q2
pp. 463-470
doi
-
Статья
Web of Science & Scopus
Conceptual hanger for displaced concepts: A framework for information processes variability
//
Procedia Computer Science, 2022
Vol. 213, No. C, Q2
pp. 588-595
doi
-
Статья
Web of Science & Scopus
Elements of semantic analysis based on lambda-calculus
//
Procedia Computer Science, 2022
Vol. 213, No. C, Q2
pp. 471-476
doi
-
Статья
Web of Science & Scopus
A prototype system for supporting a network of information graphs with the ability to assess the nature of the subject's knowledge
//
Procedia Computer Science, 2022
Vol. 213, No. C, Q2
pp. 16-20
doi
-
труды конференции РИНЦ
Проблемы семантической безопасности в системах сбора и анализа данных АСУТП BigData. Мониторинг интернет вещей
//
Преподавание информационных технологий в Российской Федерации, 2022г.
Стр. 30-33
-
Статья
Web of Science & Scopus
Lambda-calculus, combinators and applicative computational technologies
//
Cognitive Systems Research, 2022
Vol. 76, Q1
pp. 93-100
doi
-
Статья
Web of Science & Scopus
Semantic Stabilization Tools for Managing the Cognitive Activity of the Subject
//
Studies in Computational Intelligence, 2022
Vol. 1032 SCI, Q4
pp. 176-181
doi
-
Статья
Web of Science & Scopus
Semantic Management of Domain Modification in a Virtual Environment for Modeling Vulnerable Information Subjects
//
Studies in Computational Intelligence, 2022
Vol. 1032 SCI, Q4
pp. 170-175
doi
-
Статья
Web of Science & Scopus
Specification Language Based on Linear Temporal Logic for Automatic Construction of Statically Verified Systems
//
Studies in Computational Intelligence, 2022
Vol. 1032 SCI, Q4
pp. 164-169
doi
-
Статья
Web of Science & Scopus
Construction of Statically Verified System Interacting with User in Question-Answer Mode According to the Specification Set by the Formula of Linear Temporal Logic
//
Studies in Computational Intelligence, 2022
Vol. 1032 SCI, Q4
pp. 506-511
doi
-
Статья
Web of Science & Scopus
Cognitive System for Traversing the Possible Worlds with Individual Information Processes
//
Studies in Computational Intelligence, 2022
Vol. 1032 SCI, Q4
pp. 596-601
doi
-
Статья
Web of Science & Scopus
Cognitive technology to capture deep computational concepts with combinators
//
Cognitive Systems Research, 2022
Vol. 71, Q1
pp. 9-23
doi
Показаны конференции за последние 3 года
- Август 2025
2025 Annual International Conference on Biologically Inspired Cognitive Architectures, the 16th Annual Meeting of the BICA Society (BICA 2025), Puerto Vallarta, Mexico, August 6 - 10
Тема доклада:
Semantic neighborhood in cognitive modeling
- Август 2024
Biologically Inspired Cognitive Architectures 2024, 14-17 August, Seattle, WA, USA
Тема доклада:
секционный
- Октябрь 2023
2023 Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence, the 14th Annual Meeting of the BICA Society (BICA*AI 2023), Ningbo, China, October 13-15
Повышение квалификации
7 октября 2024 — 31 октября 2024
Безопасные методы и приемы работ с радиоактивными веществами и источниками ионизирующих излучений
(16 часов)
НИЯУ МИФИ
7 октября 2024 — 31 октября 2024
Требования охраны труда
(72 часа)
Москва, НИЯУ МИФИ
8 декабря 2020 — 19 февраля 2021
Цифровая грамотность современного преподавателя
(72 часа)
Москва
4 февраля 2020 — 5 февраля 2020
"Новые информационные технологии в образовании" (Tехнологиии 1С; перспективные решения для построения карьеры, цифровизации организаций и непрерывного обучения)
(16 часов)
Москва
31 января 2017 — 2 февраля 2017
"Новые информационные технологии в образовании" (Инновации в экономике и образовании на базе технологических решений 1С)
(16 часов)
Москва
2 апреля 2015 — 16 июня 2015
Повышение педагогического мастерства персонала НИЯУ МИФИ: интернационализация образования (четвертый уровень обучения)
(64 часа)
Москва
Стажировки
МФТИ, каф. ФТИ -- Обмен опытом разработки систем семантически безопасного информационного моделирования (июнь-август 2020 г.)
Гранты
янв. 2017 — дек. 2019
Моделирование средств создания и поддержки семантических механизмов повышения устойчивости Веб-ориентированных систем
РФФИ
янв. 2014 — дек. 2016
Система поддержки информационного моделирования с возможностями краудсорсинга
РФФИ
дек. 2012 — дек. 2012
Организация и проведение 3-й Международной конференции по аппликативным вычислительным системам (АВС)
РФФИ
янв. 2010 — дек. 2010
Организация и проведение 2-й Международной конференции по аппликативным вычислительным системам (АВС)
РФФИ
янв. 2008 — дек. 2008
Организация и проведение конференции "Аппликативные вычислительные системы (АВС)"
РФФИ
янв. 2004 — дек. 2006
Методы, модели и технологии динамического Web-программирования информационных систем
РФФИ
янв. 2003 — дек. 2003
Издание книги "Методы и средства вычислений с объектами. Аппликативные вычислительные системы"
РФФИ
янв. 2001 — дек. 2001
Издание книги "Конструкции языков программирования. Приемы описания"
РФФИ
янв. 1999 — дек. 1999
Организация и проведение Международного Симпозиума "Компьютерные и информационные науки и информационные технологии (CSIT)" в январе 1999 г.
РФФИ
сент. 1996 — дек. 1996
Организация и проведение Международного Симпозиума Московской секции ACM SIGMOD "Перспективы развития систем баз данных и информационных систем (ADBIS'96)" в сентябре 1996 г
РФФИ
Членство в редколлегиях научных журналов
с янв. 2014
Научный журнал «Информационные и математические технологии в науке и управлении»
с янв. 2012
Челябинский физико-математический журнал
с янв. 2011
Российский научный электронный журнал “Электронные библиотеки”
с янв. 2010
International Journal of New Computer Architectures and their Applications (IJNCAA)
с янв. 2010
International Journal of Digital Information and Wireless Communications (IJDIWC)
Участие в работе диссертационных советов