Навыки

• Языки программирования С, С++, C#, Python, Java, Javascript, PHP
• MapReduce
• Среды разработки Microsoft Visual Studio, PyCharm, Vim
• Системы управления проектами Trac, Mantis
• Системы контроля версий SVN, Git, Microsoft TFS
• Языки разметки HTML, CSS
• Библиотеки STL, MFC, jQuery, Flask
• Английский язык на уровне «продвинутый» (свободное общение, выступления, переписка)
• Система вёрстки LaTeX 2e + пакеты xypic и TiKZ.

Опыт работы

Опыт работы в образовании и науке

• 09.2016 — 06.2017. Доцент кафедры технологии моделирования сложных систем ФКН ВШЭ.
• 09.2014 — 12.2014. Эксперт ФИПИ (внешняя экспертиза ЕГЭ по информатике).
• 10.2013 — 12.2013. Лектор НП «Биоинформатический семинар».
• 09.2009 — по настоящее время. Доцент (← ассистент) кафедры дискретной математики ФИВТ МФТИ.
• 02.2009 — 12.2011. Ассистент (← младший научный сотрудник ← лаборант) кафедры математической кибернетики ВМК МГУ имени М. В. Ломоносова.
• 09.2011 — 12.2011. Лектор «Школы анализа данных» компании Яндекс.
• 09.2010 — 12.2010. Ассистент лектора «Школы анализа данных» компании Яндекс.

Опыт работы в индустрии

• 08.2011 — 03.2013. Программист, разработчик алгоритмов в компании Видео Интернешнл [разработка алгоритмов построения расписания показов рекламы, основной язык: C#].
• 03.2009 — 09.2009. Outsource менеджер проекта разработки сайта Торгово-промышленной палаты РФ в РБКСофт.

Академические степени и звания

• Кандидат физико-математических наук (2009), специальность 01.01.09 — «Дискретная математика и математическая кибернетика», диплом ДКН №100137.
• Доцент (2018), специальность «Дискретная математика и математическая кибернетика», аттестат ЗДЦ №011632.

Образование

• В 2010 году закончил «Школу анализа данных» компании Яндекс. Отмечен как выпускник, сдавший наибольшее число курсов в своём выпуске.
• В 2009 году досрочно защитил кандидатскую диссертацию по теме «Оценки числа независимых множеств в графах из некоторых классов» на кафедре математической кибернетики по специальности 01.01.09 — «Дискретная математика и математическая кибернетика», научный руководитель А. А. Сапоженко.
• В 2007 году закончил с отличием ВМК МГУ имени М. В. Ломоносова (обучался на кафедре математической кибернетики по специальности «Прикладная математика и информатика», научный руководитель А. А. Сапоженко), в том же году поступил в аспирантуру факультета.
• В 2002 году закончил Лицей №1533 (Информационных Технологий), г. Москва. Защитил на «отлично» дипломную работу «Оптический конструктор» на присвоение квалификации «программист-лаборант» (с этой работой стал лауреатом юношеского конкурса прикладных программ «Поиск – 2002»).

Научная деятельность

Публикации в научных журналах

• А.Б. Дайняк. О числе независимых множеств в графах с фиксированным числом независимости // Дискретная математика, т. 19 вып. 2, 2007. Стр. 63–66.
• С.Н. Селезнева, А.Б. Дайняк. О сложности обобщённых полиномов k-значных функций // Вестник МГУ. Серия 15, вып. 4, 2008. Стр. 34–39
• А.Б. Дайняк. Оценки числа независимых множеств в графах с фиксированным числом независимости // Вестник Московского университета, сер. 15. 2009. №2. Стр. 45–48.
• A. B. Dainyak. Estimates of the number of independent sets in graphs with a fixed independence number // Moscow University Computational Mathematics and Cybernetics. June 2009, Volume 33, Issue 2, pp 97-100 (ссылка в Springer)
• А.Б. Дайняк. О числе независимых множеств в деревьях фиксированного диаметра // Дискретный анализ и исследование операций, 2009. №2. т. 16. Стр. 61–73.
• A. B. Dainyak. On the number of independent sets in the trees of a fixed diameter // Journal of Applied and Industrial Mathematics. April 2010, Volume 4, Issue 2, pp 163–171 (ссылка в Springer)
• А.Б. Дайняк. О числе максимальных независимых множеств в деревьях фиксированного диаметра // Сборник статей молодых учёных факультета ВМК МГУ. Выпуск 6. 2009. — М: Изд. отд. ф-та ВМК МГУ; МАКС Пресс, 2009. Стр. 58–68. (Английская версия: препринт на arXiv)
• А.Б. Дайняк. О числе независимых множеств в полных q-арных деревьях // Учёные записки Казанского государственного университета, 2009, 151:2. Стр. 59–64.
• А.Б. Дайняк, А.Д. Курносов. Об одной экстремальной обратной задаче теории графов // Дискретный анализ и исследование операций, 2015, том 22, № 1, Стр. 19–31. DOI: 10.17377/daio.2015.22.445
• A. B. Dainyak, A. D. Kurnosov. On an extremal inverse problem in graph theory // Journal of Applied and Industrial Mathematics April 2015, Volume 9, Issue 2, pp 157–164 (ссылка в Springer Online) DOI: 10.1134/S1990478915020027
• А. Б. Дайняк, А. А. Сапоженко. Независимые множества в графах // Дискретная математика, 2016, т. 28, вып. 1, Стр. 44–77 (ссылка DOI)
• A. B. Dainyak, A. A. Sapozhenko. Independent sets in graphs // Discrete Mathematics and Applications. Vol. 26, Issue 6, P. 323–346. (ссылка DOI)
• С. Н. Хорошеньких, А. Б. Дайняк. Модель случайного геометрического графа с присоединением к области покрытия // Проблемы передачи информации, 2017, Том 53, Номер 1. Стр. 79-91.
• S.N. Khoroshenkikh, A.B. Dainiak. Model of a random geometric graph with attachment to the coverage area // Problems of Information Transmission January 2017, Volume 53, Issue 1, pp 73–83. (DOI:10.1134/S0032946017010069)

Учебники и учебно-методические публикации

• А.Б. Дайняк. Некоторые вопросы теории кодов, исправляющих ошибки: учебно-методическое пособие. — М.: МФТИ, 2013. — 44 с.
• А.Б. Дайняк. Алгебраические структуры и их приложения к задачам дискретной математики. — М.: МФТИ, 2014. — 44 с.
• А.А. Глибичук, А.Б. Дайняк, Д.Г. Ильинский, А.Б. Купавский, А.М. Райгородский, А.Б. Скопенков, А.А. Чернов. Элементы дискретной математики в задачах. — М.: МЦНМО, 2016. 176 с.
• А.Б. Дайняк. Задачи по дискретной оптимизации: учебно-методическое пособие по курсу «Дискретная оптимизация». — М.: МФТИ, 2017. — 32 с.

Препринты

• Sharp bounds for the number of maximal independent sets in trees of fixed diameter // arXiv:0812.4948v1 (декабрь 2008)
• Inverse problems for the number of maximal independent sets // arXiv:1111.4442v1 (ноябрь 2011)

Доклады на научных конференциях

• Доклад на VI молодежной научной школе по дискретной математике и ее приложениям. ИПМ им. М.В.Келдыша, МГУ имени М.В.Ломоносова. Москва, 16–20 апреля 2007.
• Доклад на IX Международном семинаре «Дискретная математика и ее приложения». МГУ имени М.В.Ломоносова. Москва, 18–23 июня 2007. (соавтор: С. Н. Селезнева)
• Доклад «On the Number of Independent Sets in Regular Graphs» на научной школе Ph.D. Summer School on Scientific Computing Waterford Institute of Technology, August 27–31, 2007
• Доклад на Международной конференции «Современные проблемы математики, механики и их приложений». Москва, МГУ имени М.В.Ломоносова. 30 марта – 2 апреля 2009.
• Участие в оргкомитете, доклад на XVIII Международной научной конференции «Дискретные модели в теории управляющих систем». Москва, МГУ имени М.В.Ломоносова. 6–9 апреля 2009.
• Доклад на XVI Международной конференции студентов, аспирантов и молодых учёных «Ломоносов – 2009». Москва, МГУ имени М.В.Ломоносова. 13–18 апреля 2009.
• Доклад на VII молодежной научной школе по дискретной математике и ее приложениям. ИПМ им. М.В.Келдыша, МГУ имени М.В.Ломоносова. Москва, 18–23 мая 2009.
• Участие в научной школе «NoNA Summer School on Complexity Theory 2009». Санкт-Петербург, 12–16 августа 2009.
• Доклад на XVIII Международной школе-семинаре «Синтез и сложность управляющих систем» имени академика О. Б. Лупанова. МГУ им. М.В. Ломоносова, ИПМ им. М. В. Келдыша РАН, ПензГУ. Пенза, 28 сентября – 3 октября 2009. (соавторы: Д.С. Романов, М.С. Шуплецов).
• Доклад на X Международном семинаре «Дискретная математика и её приложения Москва, МГУ имени М.В.Ломоносова. 1–6 февраля 2010 г.
• Участие в оргкомитете (в качестве учёного секретаря), доклад на XVI Международной конференции «Проблемы теоретической кибернетики». Нижний Новгород, ННГУ имени Н. И. Лобачевского. 20–25 июня 2011.
• Два доклада на IX международной конференции «Дискретные модели в теории управляющих систем». Москва и Подмосковье, 20-22 мая 2015 г. (соавторы: А.Д. Курносов, С.Н. Хорошеньких)

Гранты

• РФФИ 07–01–00444-a [участник]
• РФФИ 10-01-00768-а [участник]
• РФФИ 13–01–00958–а [участник]
• РФФИ 16-01-00593-a [участник]
• Грант Президента РФ МК-3429.2010.1 [участник]
• Госконтракт П784 в рамках федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» [участник, 2010–2011]

Дополнительная информация

• В соответствии с приказом №2642-ас от 1 сентября 2009 г. по Московскому государственному университету имени М. В. Ломоносова с 1 сентября 2009 года по 1 сентября 2010 года на 2009/2010 учебный год назначена стипендия Президента Российской Федерации.
• В 2005–2007 годах участвовал в проектах студенческой лаборатории Intel факультета ВМК МГУ. Разрабатывались программы, реализующие разложение булевых функций (на языке Python) и алгоритм вероятностного размещения (языки Visual C++, MFC, STL).
• В мае 2007 года на «отлично» сдал экзамен на квалификацию «Переводчик технических текстов по специальности» (английский язык).
• В 2004 году успешно сдал обязательный курс «Машинная графика», включавший в себя 5 практических заданий по написанию программ (3 из которых были написаны с использованием библиотек OpenGL, одно с использованием GDI+).

Преподавательский опыт

Частные занятия:

• 09.2009 — 05.2014. Подготовил несколько десятков учеников к сдаче ЕГЭ по информатике и экзаменов по дискретной математике.

Онлайн-образование

• Дискретные структуры (Массовый открытый онлайн-курс на платформе Stepik, разработанный в рамках конкурса Stepic Challenge; полное сопровождение, включая создание слайдов, съёмку и редактирование видео, идейную проработку и имплементацию всех задач по курсу)
• Продвинутые графы — курс на НПОО
• Теория кодирования — курс на НПОО
• Продвинутые графы (МФТИ, онлайн-курс с видеолекциями и вебинарами в рамках магистерской онлайн-программы «Современная комбинаторика»)

Традиционное высшее образование

Осень 2009:

• Дискретные структуры (МФТИ, 2 курс, семинары в 2 группах)
• Основы кибернетики (МГУ, 4 курс, семинары в 1 группе)
• Практикум на ЭВМ (МГУ, 3 курс, семинары в 1 группе)

Весна 2010:

• Дискретная математика (МГУ, 1 курс, семинары в 3 группах)
• Дискретная математика (МГУ, магистратура, 5 курс, семинары в 3 группах)
• Дискретные структуры (МФТИ, 2 курс, семинары в 1 группе)

Осень 2010:

• Дискретные структуры (МФТИ, 2 курс, семинары в 2 группах)
• Дополнительные главы дискретной математики (МГУ, 3 курс, семинары в 1 группе)
• Комбинаторика и теория вероятностей (ШАД Яндекса, 1 год обучения, семинары)
• Математическая логика (МФТИ, 1 курс, семинары в 1 группе)
• Основы кибернетики (МГУ, 4 курс, семинары в 1 группе)
• Практикум на ЭВМ (МГУ, 4 курс, семинары в 1 группе)

Весна 2011:

• Дискретная математика (МГУ, 1 курс, семинары в 2 группах)
• Дискретные структуры (МФТИ, 2 курс, семинары в 2 группах)
• Основы кибернетики (МГУ, 4 курс, семинары в 1 группе)
• Практикум на СуперЭВМ (МГУ, 5 курс, семинары в 2 группах)

Осень 2011:

• Дискретные структуры (МФТИ, 2 курс, лекции, семинары в 3 группах)
• Дополнительные главы дискретной математики (МГУ, 3 курс, семинары в 1 группе)
• Комбинаторика и теория вероятностей (ШАД Яндекса, отделение биоинформатики, 1 год обучения, лекции и семинары)
• Математическая логика и логическое программирование (МГУ, 4 курс, семинары в 1 группе)
• Основы кибернетики (МГУ, 4 курс)
• Практикум на ЭВМ (МГУ, 3 курс, семинары в 1 группе)
• Практикум на ЭВМ (МГУ, 4 курс, семинары в 1 группе)

Весна 2012:

• Дискретные структуры (МФТИ, 2 курс, лекции)
• Сложность вычислений (МФТИ, 3 курс, семинары в 1 группе)
• Теория кодирования (МФТИ, 3 курс, лекции)

Осень 2012:

• Дискретные структуры (МФТИ, 2 курс, лекции)
• Теория кодирования (МФТИ, 3 курс, лекции, семинары в 1 группе)

Весна 2013:

• Дискретные структуры (МФТИ, 2 курс, лекции)
• Дискретный анализ (МФТИ, 2 курс, семинары в 1 группе)

Осень 2013:

• Дискретные структуры (МФТИ, 2 курс, лекции)
• Комбинаторика и теория вероятностей (НП «Биоинформатический семинар», 1-й год обучения, лекции и семинары)
• Теория кодирования (МФТИ, 3 курс, лекции, семинары в 3 группах)

Весна 2014:

• Визуализация графов (Санкт-Петербургский Computer Science клуб, двухдневный интенсивный курс)
• Дискретные структуры (МФТИ, 2 курс, лекции)
• Математическая логика (МФТИ, 1 курс, семинары в 1 группе)

Осень 2014:

• Алгебра и алгоритмы (МФТИ, 5 курс, лекции)
• Дискретная оптимизация (МФТИ, 3 курс, лекции)
• Дискретные структуры (МФТИ, 2 курс, лекции)

Весна 2015:

• Дискретные структуры (МФТИ, 2 курс, лекции)
• Теория кодирования (МФТИ, 5 курс, лекции и семинары в 1 группе)

Осень 2015

• Алгебра и алгоритмы (МФТИ, 5 курс, лекции)
• Визуализация данных (МФТИ, 6 курс, лекции)
• Дискретная оптимизация (МФТИ, 3 курс, лекции)
• Дискретные структуры (МФТИ, 2 курс, лекции)
• Discrete Structures (МФТИ, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)

Весна 2016

• Дискретная оптимизация (МФТИ, 2 курс, лекции и семинары в 1 группе)
• Дискретные структуры (МФТИ, 2 курс, лекции)
• Теория кодирования (МФТИ, 5 курс, лекции и семинары в 1 группе)
• Advanced Graph Theory (МФТИ, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)

Осень 2016

• Алгебра и алгоритмы (МФТИ, 5 курс, лекции)
• Визуализация данных (МФТИ, 6 курс, лекции)
• Визуализация данных (Санкт-Петербургский Computer Science клуб, двухдневный интенсивный курс)
• Дискретные структуры (МФТИ, 2 курс, лекции, семинары в одной группе)
• Комбинаторика и теория вероятностей (ВШЭ, лекции и семинары в магистратуре АДБМ ФКН)
• Discrete Structures (МФТИ, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• Комбинаторика и теория вероятностей (ФКН ВШЭ, магистратура, лекции и семинары)

Весна 2017

• Дискретная оптимизация (МФТИ, 2 курс, лекции; семинары в 1 группе)
• Дискретные структуры (МФТИ, 2 курс, лекции; семинары в 1 группе)
• Теория кодирования (МФТИ, 5 курс, лекции и семинары в 1 группе)
• Advanced Graph Theory (МФТИ, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• Методы оптимизации: часть 2, комбинаторная оптимизация (ФКН ВШЭ, семинары в 1 группе)
• Discrete Optimization (Harbour Space University, Masters)

Осень 2017

• Алгебра и алгоритмы (МФТИ, магистратура, 1 курс, лекции и практические задания)
• Дискретные структуры (МФТИ, бакалавриат, 2 курс, лекции и семинары)
• Визуализация данных (МФТИ, магистратура, 2 курс, лекции)
• Discrete Structures (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• Information Retrieval and Web Search (Harbour Space University, Masters)

Весна 2018

• Дискретная оптимизация (МФТИ, бакалавриат, 2 курс, лекции и семинары)
• Дискретные структуры (МФТИ, бакалавриат, 2 курс, лекции и семинары)
• Продвинутые графы (МФТИ, магистратура, 1 курс онлайн-программы “Современная комбинаторика”)
• Теория кодирования (МФТИ, магистратура, 1 курс, лекции и семинары)
• Advanced Graph Theory (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)

Осень 2018

• Алгебра и алгоритмы (МФТИ, магистратура, 1 курс, лекции и практические задания)
• Визуализация данных (МФТИ, магистратура, 2 курс, лекции)
• Дискретные структуры (МФТИ, бакалавриат, 2 курс, лекции и семинары)
• Математическая логика (МФТИ, бакалавриат, 1 курс, семинары)
• Теория кодирования (МФТИ, магистратура, 2 курс онлайн-программы “Современная комбинаторика”)
• Discrete Structures (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)

Весна 2019

• Дискретные структуры (МФТИ, бакалавриат, 2 курс, лекции и семинары)
• Математическая логика (МФТИ, бакалавриат, 1 курс, семинары)
• Продвинутые графы (МФТИ, магистратура, 1 курс онлайн-программы “Современная комбинаторика”)
• Теория кодирования (МФТИ, магистратура, 1 курс, лекции и семинары)
• Advanced Graph Theory (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• Combinatorics and Graph Theory I (МФТИ, бакалавриат, 1 курс англоязычной программы “Computer Science”)
• Discrete Optimization (Harbour Space University, Masters)
• Intermediate Python (Harbour Space University, Bachelors)

Осень 2019

• Алгебра и алгоритмы (МФТИ, магистратура, 1 курс, лекции и практические задания)
• Визуализация данных (МФТИ, магистратура, 2 курс, лекции)
• Дискретные структуры (МФТИ, бакалавриат, 2 курс, лекции и семинары)
• Теория кодирования (МФТИ, магистратура, 2 курс онлайн-программы “Современная комбинаторика”)
• Combinatorics and Graph Theory II (МФТИ, бакалавриат, 2 курс англоязычной программы “Computer Science”)
• Discrete Structures (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)

Весна 2020

• Дискретные структуры (МФТИ, бакалавриат, 2 курс, общая организация)
• Продвинутые графы (МФТИ, магистратура, 1 курс онлайн-программы “Современная комбинаторика”)
• Теория кодирования (МФТИ, магистратура, 1 курс, лекции и семинары)
• Advanced Graph Theory (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• Combinatorics and Graph Theory I (МФТИ, бакалавриат, 1 курс англоязычной программы “Computer Science”)
• Algorithms II (МФТИ, бакалавриат, 2 курс англоязычной программы “Computer Science”)
• Optimization Methods (Harbour Space University, Masters)

Осень 2020

• Алгебра и алгоритмы (МФТИ, магистратура, 1 курс, лекции и практические задания)
• Дискретные структуры (МФТИ, бакалавриат, 2 курс, общая организация)
• Визуализация данных (МФТИ, магистратура, 2 курс, лекции)
• Основы теории графов и сетей (МФТИ, магистратура, 1 курс, лекции)
• Теория кодирования (МФТИ, магистратура, 2 курс онлайн-программы “Современная комбинаторика”)
• Elementary Number Theory (МФТИ, бакалавриат, 1 курс англоязычной программы “Computer Science”)
• Combinatorics and Graph Theory II (МФТИ, бакалавриат, 2 курс англоязычной программы “Computer Science”)
• Discrete Structures (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• From Data to Knowledge (Harbour Space University, Masters)
• Discrete Mathematics II (Higher School of Economics and London School of Economics joint program, Bachelors, 2nd year)

Весна 2021

• Дискретные структуры (МФТИ, бакалавриат, 2 курс, общая организация)
• Дискретная оптимизация (МФТИ, бакалавриат, 3 курс, лекции)
• Продвинутые графы (МФТИ, магистратура, 1 курс онлайн-программы “Современная комбинаторика”)
• Теория кодирования (МФТИ, магистратура, 1 курс, лекции и семинары)
• Математические методы визуализации данных (МФТИ, магистратура, 1 курс, лекции)
• Advanced Graph Theory (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• Combinatorics and Graph Theory I (МФТИ, бакалавриат, 1 курс англоязычной программы “Computer Science”)
• Constraint programming (МФТИ, бакалавриат, 2 курс, лекции и семинары)
• Optimization Methods (Harbour Space University, Masters)
• Computation Complexity (Higher School of Economics, Bachelors)

Осень 2021

• Алгебра и алгоритмы (МФТИ, магистратура, 1 курс, лекции и практические задания)
• Дискретные структуры (МФТИ, бакалавриат, 2 курс, общая организация)
• Визуализация данных (МФТИ, магистратура, 2 курс, лекции)
• Основы теории графов и сетей (МФТИ, магистратура, 1 курс, лекции)
• Теория кодирования (МФТИ, магистратура, 2 курс онлайн-программы “Современная комбинаторика”)
• Elementary Number Theory (МФТИ, бакалавриат, 1 курс англоязычной программы “Computer Science”)
• Algebra and Number Theory (МФТИ, бакалавриат, 2 курс англоязычной программы “Computer Science”)
• Discrete Structures (МФТИ, магистратура, 1 курс англоязычной магистерской программы “Advanced Combinatorics”)
• From Data to Knowledge (Harbour Space University, Masters)

Разное

• Участие в подкасте «Перенос университетских курсов в онлайн» на виртуальном канале TeachFM.