Специалитет: Московский государственный университет им. М. В. Ломоносова, факультет: Механико-математический, специальность «Математика»
Надбавка за академическую работу (2017-2018)
Надбавка за статью в зарубежном рецензируемом научном издании (2016-2017)
Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые преподаватели" (2013-2014)
Категория "Будущие преподаватели" (2012)
Грант президента РФ МК-5016.2012.1 "Многомерные диофантовы приближения" (2012) - исполнитель
Грант РНФ 17-11-01294 "Представление, обнаружение и обработка знаний: логический подход"
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
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
The 6th International Conference on Network Analysis (Nizhny Novgorod). Доклад: Co-author Recommender System
ACM Multimedia 2016 (Амстердам). Доклад: First-Person Shooter Game for Virtual Reality Headset with Advanced Multi-Agent Intelligent System
The 4th international conference on Analysis of Images, Social Networks, and Texts (AIST) (Екатеринбург). Доклад: Imitation of human behavior in 3D-shooter game
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
10th Panhellenic Logic Symposium (Karlovasi, Samos). Доклад: Logical Generalized Continued Fractions
5th World Congress on Universal Logic (Istanbul). Доклад: Separator Method for Constructing Canonical Types of Formulas
Presentation
Ломоносовские чтения - 2012
16.04.2012 - 25.04.2012 Российская Федерация, Москва
форма участия: докладчик
Библиографические карточки доклада на конференции:
Combinatorics, Graphs and Boolean Logic (Бакалавриат; где читается: Факультет компьютерных наук; "Алгоритмика"; направление "01.03.02. Прикладная математика и информатика"; 3-й курс, 3, 4 модуль)Анг
Научно-исследовательский семинар "Теоретическая информатика, вычислительная логика и искусственный интеллект" (Бакалавриат; где читается: Факультет компьютерных наук; "Алгоритмика"; направление "01.03.02. Прикладная математика и информатика"; 3-й курс, 1-4 модуль)Рус
Алгоритмы и структуры данных (Бакалавриат; где читается: Факультет компьютерных наук; направление "01.03.02. Прикладная математика и информатика", направление "01.03.02. Прикладная математика и информатика"; 1-й курс, 3, 4 модуль)Рус
Combinatorics, Graphs and Boolean Logic (Бакалавриат; где читается: Факультет компьютерных наук; "Алгоритмика"; направление "01.03.02. Прикладная математика и информатика"; 3-й курс, 3, 4 модуль)Анг
Научный семинар (Бакалавриат; где читается: Факультет компьютерных наук; "Алгоритмика"; направление "01.03.02. Прикладная математика и информатика"; 2-й курс, 1-4 модуль)Рус
Научный семинар (Бакалавриат; где читается: Факультет компьютерных наук; "Алгоритмика"; направление "01.03.02. Прикладная математика и информатика"; 3-й курс, 1-4 модуль)Рус
2014 Б 1/6/6/2
1 курс бакалавры
Игра "Dynamite Jack" на основе OpenGL (Сечкарев В.)
2 курс бакалавры
Разработка интерфейса в стратегии реального времени для сенсорных экранов (Щавровский А.)
Программирование игры "TANKS" с моделированием ролевых элементов (Филин Д.)
Алгоритмы поведения игрового искусственного интеллекта при распознавании противника по звуку в трехмерном лабиринте на Unreal Engine 4 (Еремин Д.)
Программирование модификации компьютерной игры "Packman" с учетом ширины свободных проходов в двумерном лабиринте (Бурмистров Р.)
Программирование игры "Mario" с моделирование NPC различной сложности (Краев А.)
Алгоритм нахождения Фундаментальной области полиэдра Клейна (Тлябичева Д.)
3 курс бакалавры
Аксиоматизируемость замкнутых классов P3,2, проекции которых являются предполными классами Булевой логики (Герасимова О.)
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
Симулятор поведения игрового персонажа в трехмерном шутере для Unreal Engine 4 (Точилин А.)
Разработка игрового взаимодействия развития колоний поселенцев в виде стратегии реального времени (Федоров Д.)
Разработка дизайна уровней стратегии реального времени о развитии колонии поселенцев (Стерхов С.)
Имитация развития колонии поселенцев в виде стратегии реального времени (Конопля О.)
Генерация уровней и нахождение решений для игры "Socoban" (Титова К.)
4 курс бакалавры
Визуальное распознавание противника в трехмерном лабиринте на Unreal Engine 4 (Токмакова Л.)
Разработка игрового искусственного интеллекта с имитацией реакции человека на появление противника в трехмерном лабиринте на Unreal Engine 4 (Токмаков Р.)
4th international conference on Analysis of Images, Social Networks, and Texts (AIST) (Екатеринбург).
Доклад: Imitation of human behavior in 3D-shooter game
2013 Б 0/7/1/0
2 курс бакалавры
Существование конечной полной системы тождеств для замкнутых классов трехзначной логики (Герасимова О.)
Улучшение алгоритма инкрементального построения Декартового дерева и изучение его поведения на известных статистических моделях (Карпичев Р.)
Алгоритмы ИИ преследования по характеристикам распространения звука в двумерном лабиринте (Сахарова Е.)
Декомпозиция и воспроизведение звука в модели распространения звука в двумерном лабиринте (Ломакина О.)
Адаптация MFC проектов и реализация ИИ под управлением ОС "Андроид" (Федоров Д.)
Улучшение алгоритма Диффи-Хеллмана и оценки криптографической устойчивости (Шангина Т.)
Доработка модификации компьютерной игры “Bomberman” с реализацией ИИ и режима PvP (Врабие И.)
Графическая реализация игры “PACKMAN” (Имамметдинова Э.)
3 курс бакалавры
Программирование распространения звуковой волны в трехмерном ограниченном лабиринте (Мункоева А. / Шатонова Л.)
2012 Б 0/9/0/0 М 1/0
1 курс магистры
Шифрование на основе комбинирования методов разбиения на шары относительно значений замкнутых класов булевой логики, каскадных кодов и шифрование с открытым ключом. Применение к построению хэш-функций (Солодкова Е.)
2 курс бакалавры
Программирование реакции ИИ различного уровня сложности относительно распространения звука в лабиринте (Ушаков М.)
Программирование усовершенствованного ИИ для игры, основанной на компьютерной игре «Atomic Bomberman» (Ильиных Д.)
Программирование графической составляющей и пользовательского интерфейса игры, основанной на компьютерной игре «Atomic Bomberman» (Комиссарова Д.)
Программирование графической составляющей и пользовательского интерфейса игры на основе лабиринта с источниками света, как основы здоровья (Сальников А.)
Программирование графической составляющей и пользовательского интерфейса игры «Socoban» (Макшанчиков К.)
Программирование графической составляющей и пользовательского интерфейса игры-стратегии «TANKS» (Сорокин П.)
Программирование графической составляющей и пользовательского интерфейса игры «Seabattle» (Сенотов Д.)
Программирование графической составляющей и пользовательского интерфейса игры-шутера на основе лабиринта (Ширяев В.)
Программирование графической составляющей и пользовательского интерфейса игры, основанной на составлении из набора плоских предметов трассы прохождения диска (Умилин С.)
Задания на практику:
Анализ графа публикаций научных сотрудников НИУ ВШЭ
Визуализация выпуклых оболочек целых точек в полиэдрах
Изучение диаграммы Поста и расширенной теоремы Поста
Изучение полных систем тождеств и теоремы Линдона
Изучить пакеты BibTeX, Multibib, Bibunits, Hyperref, оболочку Jabref
Моделирование 3D шутера Counter Strike 1.6
Описание паттернов поведения игрока в трехмерном шутере
Основы программирования на движке Unreal Engine 4 – 1 (передвижение и стрельба)
Основы программирования на движке Unreal Engine 4 – 2 (выбор оружия и обучение)
Закрытые/выполненные практики
Подготовка презентаций по онлайн курсу, посвященному анализу социальных сетей
Коровина К. А. «Векторные модели графа для задач мультиклассовой классификации вершин и ребер». Факультет математики, 2018
Карамнова Ю. А. «Сегментация тела человека при помощи глубоких сверточных нейронных сетей». Факультет компьютерных наук, 2018
Мамцев Р. В. «Восстановление освещения в приложении для дополненной реальности». Факультет компьютерных наук, 2018
Касьянов И. А. «Решение оптимизационной задачи для вложения виртуальной сцены в пространство реального мира». Факультет математики, 2018
Ломов И. Ф. «Порождающие конкурирующие нейронные сети и перенос стиля для индустрии моды». Факультет компьютерных наук, 2018
Покоев А. П. «Повышение разрешения изображения методами глубокого обучения». Факультет компьютерных наук, 2018
Замылин С. В. «Прогнозирование финансовых показателей публичных акционерных компаний с помощью алгоритмов машинного обучения». Факультет компьютерных наук, 2018
Кондрашов Ф. В. «Анализ поведения пользователя на сайте для задачи кредитного скоринга». Факультет компьютерных наук, 2018
Бобров Р. А. «Применение RGB-D сегментации для реконструкции трехмерной сцены на основе карты глубины». Факультет компьютерных наук, 2017
Щавровский А. П. «Позиционирование обладателя смартфона для конструирования дополненной реальности». Факультет компьютерных наук, 2017
Буланов О. В. «Рекомендательная система построенная по графу публикаций научно-педагогических сотрудников НИУ ВШЭ». Факультет компьютерных наук, 2016
Зюзин П. М. «Алгоритмы выбора оружия на основе нейронных сетей в трехмерном шутере от первого лица на Unreal Engine 4». Факультет компьютерных наук, 2016
Вакуляка Е. А. «Анализ графа публикаций научно-педагогических работников НИУ ВШЭ». Факультет компьютерных наук, 2016
Конопля О. Ю. «Применение Oculus Rift VR DK2 для навигации и прицеливания в трехмерном шутере от первого лица на Unreal Engine 4». Факультет компьютерных наук, 2016
Токмаков М. А. «Разработка игрового искусственного интеллекта с имитацией реакции человека на появление противника в трехмерном лабиринте на Unreal Engine 4». Факультет компьютерных наук, 2015
Токмакова Л. Р. «Визуальное распознавание противника в трехмерном лабиринте на Unreal Engine 4». Факультет компьютерных наук, 2015
Кориневская А. В. «Восстановление карты глубины глубокими свёрточными нейронными сетями». Факультет компьютерных наук, 2018
Акимов Д. Е. «Глубокое обучение с подкреплением в шутере VizDoom». Факультет компьютерных наук, 2018
Данилов П. Ю. «Анализ поединков и определение ключевых событий в DotA 2». Факультет компьютерных наук, 2018
Костякова Н. В. «Предсказание длительности железнодорожного рейса на основе сетевого анализа». Факультет компьютерных наук, 2018
Тетин Е. Н. «Отслеживание объектов в реальном времени для дополненной реальности». Факультет компьютерных наук, 2018
Кашин А. А. «Применение глубинных нейронных сетей для принятия решений в шутере от первого лица». Факультет компьютерных наук, 2017
Грунина Т. Е. «Предсказательное моделирование в системах больших данных: исследование мультимодальной среды с помощью глубокого обучения с подкреплением». Факультет бизнеса и менеджмента, 2017
Алиев В. А. «Интерполяция карт глубины с помощью сверточных нейронных сетей». Факультет компьютерных наук, 2017
Для трудоспособных студентов, которые хорошо овладели навыками программирования графического интерфейса и работы с БД доступны проектные темы КР как для работы в группе, так и по одиночке.
Проект "Укрытие"
Многозначная логика и дискретная математика:
Улучшение алгоритмов:
Выборы ученого совета
Первые совещания по ОП ПМИ ФКН
7 дней после аккредитации
(до следующего катаклизма оставалось 3 дня)
.jpg)
Проект "Каракули" для Интернет-школы ФДП
.jpg "Образовательный проект")
Образовательный проект "Центр по работе с библиографией"
Открытый урок по математике:
Зачем нужна математика экономистам, социологам, политологам, логистикам, менеджерам, лингвистам и психологам.
Какие современные прикладные задачи можно решить на основе школьной математики.
Как подготовиться к поступлению по ЕГЭ/олимпиаде.
Чем обучение в Университете отличается от занятий в школах.
Q&A по обучению в Интернет-школе и на Факультете компьютерных наук.
Краткий комментарий по телефону с дня книгочея.
В Вышке создается специализация по гейм-дизайну и виртуальной реальности.
Побывать в гараже будущего, узнать, как работает технология LIDAR и, наконец, проехаться на автомобиле, которому не нужен водитель - у некоторых студентов ФКН на прошлой неделе именно так прошел научно-исследовательский семинар по робототехнике.
Международная конференция по анализу изображений, социальных сетей и текстов АИСТ состоялась 27-29 июля в Москве при поддержке Высшей школы экономики. В этом году на конференцию было подано 130 научных работ из разных, в том числе зарубежных, университетов. Лучшие работы были отобраны признанными специалистами в области анализа данных со всего мира, они войдут в сборник трудов конференции и будут опубликованы в серии Lecture Notes in Computer Science издательства Springer.
В завершение учебного года об Интернет-школе для старшеклассников Факультета довузовской подготовки НИУ ВШЭ, о том как сдавать ЕГЭ и что ждет будущего студента Вышки. Опытом делится старший преподаватель, заместитель руководителя Департамента анализа данных и искусственного интеллекта ФКН НИУ ВШЭ.
Достаточно стандартная семейная история — подросток сбежал из дома, написав смску: «Я сюда больше не вернусь, можете даже не пытаться меня найти» и, естественно, отключив телефон. Найти его смогла сестра, используя знания, полученные во время учебы на программе «Прикладная математика и информатика». Эта история также показывает, что могут рассказать соцсети о своих пользователях понимающему человеку.
1 052 400 рублей за 2 семестр получат 27 студентов факультета за особые достижения в учебной, научно-исследовательской, общественной, культурно-творческой и спортивной деятельности. Повышенная государственная академическая стипендия назначается на конкурсной основе студентам бюджетной формы обучения, получающим государственную академическую стипендию. Конкурс проводится дважды в год, а стипендия назначается на период 1-2 модули (1 семестр) и на 3-4 модули (2 семестр). О том, как получить стипендию, лауреатах этого семестра и достижениях студентов - в нашем обзоре.
Опубликованы темы КР и ВКР департамента на 2015/16 учебный год.
Открыта запись на факультатив для студентов 3-4 курсов.
С 20 по 24 июня в Стамбуле состоялась летняя школа по универсальной логике.
Мероприятие собрало около 150 участников, в том числе студентов, получивших гранты ASL.
В Екатеринбурге завершилась очередная конференция «АИСТ», посвященная анализу изображений, социальных сетей и текстов.
Институциональное сотрудничество с департаментом расширено за счет участия 3 студентов, выполняющих курсовые и выпускные квалификационные работы под руководством преподавателей департамента по следующим направлениям исследований:
— Булева и многозначные логики. Функциональная выразимость в замкнутых классах.
— Деревья блюпринтов и построение системы принятия решений в 3D-шутерах, основанной на правилах вывода.
В этом учебном году впервые у абитуриентов появилась возможность дистанционно пройти итоговый контроль (10 – 16 мая 2015 года) и получить Сертификат Интернет-школы НИУ ВШЭ для формирования портфолио абитуриента. Запись на участие с 18 февраля до 15 апреля.
В издательстве Юрайт вышел в печать авторский учебник «Введение в анализ данных. Учебник и практикум». Предлагаем вашему вниманию интервью с автором учебника, ординарным профессором НИУ ВШЭ Борисом Григорьевичем Миркиным.
