DSA Faculty
API
← к списку преподавателей

Макаров Илья Андреевич

Факультет компьютерных наук

Профиль на hse.ru ↗ тел.: +7(495) 772-95-90*27282 | +7(915)152-4532
Публикаций
117
Языков
1
Наград
7
Конференций
10
Профиль Публикации (117) Курсы (7)

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

27.03.19 Математическая логика27.15.00 Теория чисел28.23.00 Искусственный интеллект28.17.33 Компьютерное моделирование реальности. Виртуальная реальность

Должности

  • Доцент — Факультет компьютерных наук, Департамент анализа данных и искусственного интеллекта

Био

  • · Начал работать в НИУ ВШЭ в 2011 году.
  • · Научно-педагогический стаж: 14 лет.

Образование

  • 2021 · PhD: Университет Любляны
  • 2015 · Аспирантура: Московский государственный университет им. М.В. Ломоносова, факультет: Механико-математический
  • 2011 · Специалитет: Московский государственный университет им. М.В. Ломоносова, факультет: Механико-математический, специальность «Математика», квалификация «Математик»

Опыт работы

  • · 2011: НИУ ВШЭ, Департамент анализа данных и искусственного интеллекта – старший преподаватель, научный сотрудник ( настоящее время), заместитель руководителя (2012-2017)

Награды и поощрения

  • · Номинант на "Лучшие преподаватели 2014" (июль 2014)
  • · Надбавка за академическую работу (2017–2018)
  • · Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2025–2026, 2024–2025, 2023–2024)
  • · Надбавка за публикацию в международном рецензируемом научном издании (2022–2023, 2021–2022, 2018–2020)
  • · Надбавка за статью в зарубежном рецензируемом научном издании (2016–2017)
  • · Лучший преподаватель — 2022, 2017–2018
  • · Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)Категория "Новые преподаватели" (2013–2014)Категория "Будущие преподаватели" (2012)

Гранты и проекты

  • — · Грант президента РФ МК-5016.2012.1 "Многомерные диофантовы приближения" (2012) - исполнитель
  • — · Грант РНФ 17-11-01294 "Представление, обнаружение и обработка знаний: логический подход"

Конференции (10)

Показать все
  • · 2016: The 5th international conference on Analysis of Images, Social Networks, and Texts (AIST) (Екатеринбург). Доклад: Smoothing Voronoi-based Path with Minimized Length and Visibility using Composite Bezier Curves
  • · 2016: Third International Workshop on Experimental Economics and Machine Learning (EEML 2016) (Москва). Доклад: Modelling Human-like Behavior through Reward-based Approach in a First-Person Shooter Game
  • · 2016: The 6th International Conference on Network Analysis (Nizhny Novgorod). Доклад: Co-author Recommender System
  • · 2016: ACM Multimedia 2016 (Амстердам). Доклад: First-Person Shooter Game for Virtual Reality Headset with Advanced Multi-Agent Intelligent System
  • · 2015: The 4th international conference on Analysis of Images, Social Networks, and Texts (AIST) (Екатеринбург). Доклад: Imitation of human behavior in 3D-shooter game
  • · 2015: 10th Panhellenic Logic Symposium (Karlovasi, Samos). Доклад: Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions
  • · 2015: 10th Panhellenic Logic Symposium (Karlovasi, Samos). Доклад: Logical Generalized Continued Fractions
  • · 2015: 5th World Congress on Universal Logic (Istanbul). Доклад: Separator Method for Constructing Canonical Types of Formulas
  • · 2014: Конференция научно-педагогических работников Национального исследовательского университета «Высшая школа экономики» (Москва). Доклад: Выборы Ученого Совета НИУ ВШЭ
  • · 2012: Ломоносовские чтения - 2012 (Москва). Доклад: О некоторых свойствах внутренних полиэдров Клейна

Идентификаторы исследователя

Публикации (117)

Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions

2015 · ARTICLE · en

The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set \{0, 1, 2\} and taking values in the set \{0,1\} with the property that the restrictions of its functions to the set \{0, 1\} constitutes a closed class of Boolean functions. We consider all classes whose restriction closure is either the set of all functions of two-valued logic or the set T a of functions preserving a,a\in\{0,1\} . In each of these cases, we find a finite total equivalence system, construct a canonical type for formulas, and present a complete algorithm for determining whether any two formulas are equivalent.

DOI ↗ PDF ↗

Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions

2015 · CHAPTER · en

We give a complete description of total equivalence systems (TES) for formulas based on closed classes of functions from the projection logic P3,2 with the property that the restrictions of its functions to the set {0,1} constitute a closed class of linear Boolean functions. For each such class, we find a total equivalence system, providing an algorithm for a transformation of an arbitrary formula to its canonical form.

PDF ↗

Logical Generalized Continued Fractions

2015 · CHAPTER · en

The paper presents a brief review on interpretation of continued fractions as a chain of superposition operations relative to one unary and one binary or two binary logical functions. Such construction makes it possible to de ne continued fractions with partial quotients from the values of many-valued logic.

PDF ↗

Separator Method for Constructing Canonical Types of Formulas

2015 · CHAPTER · en

We present a new method of nding the canonical types of formulas based on three-valued projection logic functions. The method is focused on separation of all tuples of values for variables into disjoint sets. For every such set we take its own simple canonical type that identi es this set. Combining the results for each set we obtain the required canonical type for a closed class.

PDF ↗

Imitation of Human Behavior in 3D-Shooter Game

2015 · CHAPTER · en

There are many algorithms for 3D-shooter game artificial intelligence that are based on automatic target recognition with the help of ray casting, scriptbased event systems and many others. In such models game agents have an advantage over human player because computers do not need time for enemy recognition and target aiming processes. The main goal of our research is to imitate a realistic enemy player under PC control, which acts similar to a human reaction. We consider such aspects of shooter in-game processes as visual recognition of players, the delay for the response on each game event and distributed strategies of decision making. The paper presents method of visual recognition of player's 3D-model with the use of geometry knowledge of the three-dimensional maze and target sighting with respect to human motor reflexes. The implementation is made in Unreal Engine 4, which provides large variety of methods for programming game agents.

PDF ↗

Interior Klein Polyhedra

2014 · ARTICLE · en

Выпуклая оболочка всех целых точек в некомпактном полиэдре замкнута и является обобщенным полиэдром лишь при некоторых условиях. В работе доказывается, что если ограничиться целыми точками во внутренности полиэдра, большинство условий можно опустить. При этом получается объект со схожими свойствами, который совпадает с полиэдром Клейна в случае иррационального симплициального конуса.

DOI ↗ PDF ↗

Внутренние полиэдры Клейна

2012 · PREPRINT · ru

Выпуклая оболочка всех целых точек в некомпактном полиэдре замкнута и является обобщенным полиэдром лишь при некоторых условиях. В работе доказывается, что если ограничиться целыми точками во внутренности полиэдра, большинство условий можно опустить. При этом получается объект со схожими свойствами, который совпадает с полиэдром Клейна в случае иррационального симплициального конуса.

PDF ↗

Курсы (7)