Denis Fedyanin
- Research Fellow: International Laboratory for Logic, Linguistics and Formal Philosophy
- Associate Professor: Faculty of Computer Science / School of Data Analysis and Artificial Intelligence
- Denis Fedyanin has been at HSE University since 2018.
Responsibilities
For the second year, I have been responsible for the "Applied Mathematics and Computer Science" track of the "Higher League" Olympiad.
For the fourth year, I have been serving as the chair of the admissions committee for the entrance exams to the Master's program in "Data Science" at the Faculty of Computer Science (FCS).
I regularly serve on committees for the defense of final qualifying theses and term papers.
I supervise final qualifying theses and term papers of master's and bachelor's students, typically at the Faculty of Computer Science, but also at the Faculty of Mathematics of HSE University and other faculties.
I conduct research, write papers, and teach courses.
Education and Degrees
Moscow Institute of Physics and Technology
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Courses (2026/2027)
- Combinatorics, Graphs and Logic (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 3 year, 3, 4 module)Eng
- Probability Theory and Mathematical Statistics (Master’s programme; Faculty of Computer Science field of study Applied Mathematics and Informatics; 1 year, 1 module)Eng
- Probability Theory and Mathematical Statistics (Mago-Lego; Faculty of Computer Science)Rus
- Past Courses
Courses (2025/2026)
- Combinatorics, Graphs and Logic (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 3 year, 3, 4 module)Eng
- Evolutionary Algorithms and Real-world Logistics (Bachelor’s programme; Faculty of Computer Science field of study Management; 4 year, 1, 2 module)Rus
- Probability Theory and Mathematical Statistics (Master’s programme; Faculty of Computer Science field of study Applied Mathematics and Informatics; 1 year, 1 module)Eng
- Probability Theory and Mathematical Statistics (Mago-Lego; Faculty of Computer Science; 1 module)Eng
Courses (2024/2025)
- Combinatorics, Graphs and Logic (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 3 year, 3, 4 module)Eng
- Evolutionary Algorithms and Real-world Logistics (Bachelor’s programme; HSE Graduate School of Business field of study Management; 4 year, 3 module)Rus
- Foundations of Managerial Economics (Master’s programme; School of Innovation and Entrepreneurship field of study Management; 1 year, 1 module)Eng
- Foundations of Managerial Economics (Master’s programme; School of Innovation and Entrepreneurship field of study Management; 1 year, 1 module)Eng
- Foundations of Managerial Economics (Mago-Lego; 1 module)Eng
- Probability Theory and Mathematical Statistics (Master’s programme; Faculty of Computer Science field of study Applied Mathematics and Informatics; 1 year, 1 module)Eng
- Probability Theory and Mathematical Statistics (Mago-Lego; 1 module)Eng
Courses (2023/2024)
- Applied Quantitative Logistics (Master’s programme; Faculty of Computer Science field of study Applied Mathematics and Informatics; 1 year, 3, 4 module)Eng
- Applied Quantitative Logistics (Mago-Lego; 3, 4 module)Eng
- Combinatorics, Graphs and Boolean Logic (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 3 year, 3, 4 module)Eng
- Evolutionary Algorithms and Real-world Logistics (Bachelor’s programme; HSE Graduate School of Business field of study Management; 4 year, 3 module)Rus
- Probability Theory and Mathematical Statistics (Master’s programme; Faculty of Computer Science field of study Applied Mathematics and Informatics; 1 year, 1 module)Eng
- Probability Theory and Mathematical Statistics (Mago-Lego; 1 module)Eng
Courses (2022/2023)
- Applied Quantitative Logistics (Master’s programme; Faculty of Computer Science field of study Applied Mathematics and Informatics, field of study Applied Mathematics and Informatics; 1 year, 3, 4 module)Eng
- Applied Quantitative Logistics (Mago-Lego; 3, 4 module)Eng
- Combinatorics, Graphs and Boolean Logic (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 3 year, 3, 4 module)Eng
- Evolutionary Algorithms and Real-world Logistics (Bachelor’s programme; HSE Graduate School of Business field of study Management; 4 year, 3 module)Rus
- Probability Theory and Mathematical Statistics (Master’s programme; Faculty of Computer Science field of study Applied Mathematics and Informatics, field of study Applied Mathematics and Informatics; 1 year, 1 module)Eng
- Probability Theory and Mathematical Statistics (Mago-Lego; 1 module)Eng
Courses (2021/2022)
- Combinatorics, Graphs and Computational Logic (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 3 year, 3, 4 module)Eng
- Evolutionary Algorithms and Real-world Logistics (Bachelor’s programme; HSE Graduate School of Business field of study Management; 4 year, 1, 2 module)Rus
Conferences
- 2017
11th IEEE International Conference on Application of Information and Communication Technologies (AICT2017) (Москва). Presentation: Threshold and Network generalizations of Muddy Faces Puzzle
- 2016
13-я Всероссийская школа-конференция молодых ученых «Управление большими системами» (Самара). Presentation: О консенсусе в социальной сети со сложными узлами при двух этапах взаимодействия
- 2015
12-я Всероссийская школа-конференция молодых ученых и специалистов «Управление большими системами» (Волгоград). Presentation: О модели изменения мнений в процессе переговоров
10-й Международный симпозиум «Рефлексивные процессы и управление» (Москва). Presentation: О применении многошаговых моделей для моделирования рефексивного поведения
8-я Всероссийская мультиконференция по проблемам управления (Ростов-на-Дону). Presentation: О результатах численного исследования сетевой модели активации рефлексивных агентов
- 2014
11-я Всероссийская школа-конференция молодых ученых «Управление большими системами» (Арзамас). Presentation: Об одной модели распространения информации в онлайновых социальных сетях.
12-е Всероссийское совещание по проблемам управления (Москва). Presentation: О возможности предсказания поведения пользователей социальной сети Facebook
- 2013
6-я Всероссийская мультконференция по проблемам управления (Ростов-на-Дону). Presentation: О модели распределения ресурсов между блогами
6-я Всероссийская мультиконференция по проблемам управления (Ростов-на-Дону). Presentation: Об одной модели активного прогноза в ситуации планирования совместных действий
- 2012
2nd International Workshop on Concept Discovery in Unstructured Data (Лёвен). Presentation: On Parameter Identification Methods for Markov Models Applied to Social Networks
International Workshop «Networking games and management» (Петрозаводск). Presentation: On a reflective network structure of agents’ beliefs
14-я Международная конференция «Проблемы управления и моделирования в сложных системах» (Самара). Presentation: О модели принятия решений в активных сетевых структурах
10-я международная научно-техническая конференция «Современные сложные системы управления» (Старый Оскол). Presentation: О применении марковской модели к анализу информационных взаимодействий в Интернет- сообществе
6-я международная конференция «Параллельные вычисления и задачи управления» (Москва). Presentation: О проблеме, возникающей при реализации проектов распределенных вычислений
Международная научно-практическая мультиконференция «Управление большими системами» (Москва). Presentation: О стратегии управления структурой транспортной сети в условиях неопределенности
6th International Conference on Game Theory and Management (Санкт-Петербург). Presentation: On a Model of Informational Control in Active Network Structures
- 2011
13-я Международная конференция «Проблемы управления и моделирования в сложных системах» (Самара). Presentation: О модели информационного управления в социальных сетях
5th International Conference On Game Theory and Management (Санкт-Петербург). Presentation: On Models of Information Management in Social Networks
- 2009
52-я научная конференция МФТИ «Современные проблемы фундаментальных и прикладных наук» (Долгопрудный). Presentation: Об индексе Винера в последовательностях социальных сетей
- 2008
51-я научная конференция МФТИ «Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе» (Долгопрудный). Presentation: Сумма всех попарных расстояний между вершинами в графах: плоская прямоугольная решетка, однородное дерево
Employment history
From 2001 - 2011 - SOFTLINE (Sales, Marketing, Coach, Tech.Support), BERATOR PRESS (Head of Database department), SPIRIT DSP (Regional Sales Manager), ALFA INSURANCE (Direct Sales). RESEARCHER/ INSTITUTE OF CONTROL SCIENCES
From 2011 to present time Research, programming, conduct training courses, coordination of grants, and assistance on organizing conferences. RESEARCHER/ HIGHER SCHOOL OF ECONOMICS From 2018 to present time Research.
Denis Fedyanin's talk "A Topological Approach to Formal Models of Beliefs".
On February 14, a meeting of the research seminar "From the Logical Point of View" took place, where Denis Fedyanin gave a talk titled "A Topological Approach to Formal Models of Beliefs."
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.
Software for checking if there is an equivalence between two models of knowledge by Denis Fedyanin and Valeria Nikolaeva
The software package developed by the laboratory staff members was officially registered as a computer program for the first time.
Interdisciplinary Research: New Prospects for Philosophy
What connects philosophers, linguists, and logicians? How do you develop partnerships with dozens of foreign research centres in just six months? Can science exist in isolation from the outside world? Elena Dragalina-Chernaya, Head of the International Laboratory for Logic, Linguistics, and Formal Philosophy, discusses these and other issues.
The researchers of the Laboratory participated in the Summer School in Riga
The researchers of the Laboratory took part in ESSLLI 2019
Formal Philosophy 2019
The International conference “Formal Philosophy 2019” was held on 27-28 June 2019. The conference was attended by scientists from Russia, USA, Brazil, Poland, Germany, Austria, Portugal and South Korea. It is planned that the conference will be a regular annual event.
The Photos from the Conference “Formal Philosophy”
On October 1-2, the International Conference “Formal Philosophy” was held in the Higher School of Economics. This conference was organized by the International Laboratory for Logic, Linguistics and Formal Philosophy.
Participation in the Summer School in Bulgaria in August 2018
Виталий Долгоруков, Александра Павлова и Денис Федянин приняли участие в 30-й европейской летней школе по логике, языку и информации (30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION), которая прошла в Софийском Университете с 6-го по 17-е августа.