Запрягаев Александр Александрович
- Доцент: Факультет компьютерных наук / Департамент больших данных и информационного поиска
- Научный сотрудник: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики
- доцент: Факультет математики
- Начал работать в НИУ ВШЭ в 2019 году.
Oбразование и учёные степени
Достижения и поощрения
- Персональная надбавка ректора (2022–2023)
- Надбавка за публикацию в международном рецензируемом научном издании (2021–2022)
- Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2021)
Учебные курсы (2025/2026 уч. год)
- Введение в дискретную математику и топологию (Бакалавриат; где читается: Факультет математики направление: 01.03.01 Математика; 1-й курс, 1-3 модуль)рус
- Введение в дискретную математику и топологию (Бакалавриат; где читается: Факультет математики направление: 01.03.01 Математика; 1-й курс, 1-3 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04 Программная инженерия; 1-й курс, 1-4 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 1-й курс, 1-3 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики направление: 01.03.01 Математика; 3-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики направление: 01.03.01 Математика; 2-й курс, 3, 4 модуль)рус
- Теория автоматов, формальные языки, регулярные выражения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 3 модуль)рус
- Теория чисел (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 1-й курс, 3 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 1-й курс, 1-4 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 1-й курс, 1-4 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет менеджмента (Пермь) направление: 09.03.04. Программная инженерия; 1-й курс, 1-4 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 2-й курс, 3, 4 модуль)рус
Учебные курсы (2021/2022 уч. год)
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 2-й курс, 3, 4 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 2-й курс, 3, 4 модуль)рус
Диссертация на соискание учёной степени кандидата наук
- 2023
Запрягаев А. А. Интерпретации в слабых арифметических теориях
Конференции
- 2023
42ème Journées sur les Arithmétiques Faibles (JAF 42) (Karlovassi). Доклад: On interpretations in Buchi Arithmetics
Третья конференция Математических центров России (Майкоп). Доклад: Linear orders interpretable in Presburger arithmetic
- 2019
Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Интерпретации линейных порядков в арифметике Пресбургера
The 15th Workshop on Altaic Formal Linguistics (Москва). Доклад: On the Infinitive of the Verb se-
Omentielva Toltea (Рейкьявик). Доклад: Nómessen Lúmessenye Veryandion: On the “in front/at back”, “before/after” Relationships in Eldarin
- 2018
Symposium on Logical Foundations Of Computer Science (LFCS 2018) (Deerfield Beach, FL). Доклад: Interpretations of Presburger Arithmetic in Itself
- 2017
Десятые Смирновские чтения по логике (Москва). Доклад: Интерпретации арифметики Пресбургера в себя
Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Доклад: Interpretations in Presburger arithmetic
XXIV Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2017» (Москва). Доклад: Классификация линейных порядков, интерпретируемых многомерно варифметике Пресбургера
Omentielva Otsea (Hayward, CA). Доклад: Poetic Metre and Prosody in Eldarin Languages
Опыт работы
09.2025–наст. вр.
Международная лаборатория теоретической информатики
Научный сотрудник
09.2025–наст. вр.
Департамент больших данных и информационного поиска
Доцент
2024–2025
Лаборатория алгоритмов и логики, Университет электронных наук и технологий Китая (UESTC), Чэнду
Постдок
2020–2023
в Международная лаборатория логики, лингвистики и формальной философии НИУ ВШЭ
Стажёр-исследователь
2020–2024
Департамент больших данных и информационного поиска ФКН ВШЭ
Старший преподаватель (до 2022 – преподаватель).
2020–2023
Отдел математической логики, Математический институт им. В. А. Стеклова Российской академии наук
Младший научный сотрудник
Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики» на матфаке ВШЭ
19 января Александр Запрягаев выступил с докладом «Категорный подход к интерпретациям теорий» на семинаре «Современные проблемы математической логики» на матфаке ВШЭ.
Доклады Александра Запрягаева на Московском международном фестивале языков
10 декабря прошел 17-й Московский международный фестиваль языков (ММФЯ). Александр Запрягаев выступил с тремя докладами на фестиавале.
Доклад Александра Запрягаева на Третьей Конференции математических центров в Майкопе
Стажер-исследователь МЛ ЛогЛинФФ, Александр Запрягаев, выступил с докладом «Линейные порядки, интерпретируемые в арифметике Пресбургера» на Третьей Конференции математических центров, которая проходила в Майкопе с 10 по 15 октября.
Выступление Александра Запрягаева на конференции «Дни слабых арифметик» в Греции
Александр Запрягаев выступил с докладом «On Interpretations in Büchi Arithmetics» на конференции 42ème Journées sur les Arithmétiques Faibles (Дни слабых арифметик), которая проходила 25-27 сентября (Карловаси, Самос, Греция).
Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
Доклад Александра Запрягаева «Интерпретации в слабых арифметических теориях»
20 января состоялось 1-е в 2023 году заседание научно-исследовательского семинара «From the Logical Point of View». На семинаре Александр Запрягаев представил доклад «Интерпретации в слабых арифметических теориях».
Александр Запрягаев выступил на Московском фестивале языков
Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"
Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"
25 ноября на заседании научного семинара "Современные проблемы математической логики" в ВШЭ состоялась предварительная защита кандидатской диссертации Александра Запрягаева, написанной под
руководством Льва Беклемишева.
Александр Запрягаев выступил на второй конференции Математических центров России
С 7 по 11 ноября проходила вторая конференция Математических центров России (МГУ, МИАН). Александр Запрягаев выступил с докладом «Interpretations of Büchi arithmetics in themselves» на секции «Математическая логика и теоретическая информатика».
Проект перевода учебника ван Бентема "Modal Logic for Open Minds" был поддержан Издательским домом НИУ ВШЭ
Александр Запрягаев как переводчик классического учебника по модальной логике рассказал, почему важно, чтобы книга ван Бентема появилась на русском языке.
Доклад Александра Запрягаева на семинаре "From the Logical Point of View"
Александр Запрягаев, стажер-исследователь МЛ ЛогЛинФФ, выступил с докладом "Арифметики Бюхи и конечные автоматы"
Сотрудники МЛ ЛогЛинФФ получили академические надбавки
Опубликованы списки работников, получивших академические надбавки. Сотрудникам лаборатории Александру Запрягаеву и Наталье Зевахиной назначены надбавки 3 уровня за публикацию в международном рецензируемом научном издании.
Доклады сотрудников лаборатории на конференции "Смирновские чтения по логике"
24-26 июня в онлайн-формате прошла конференция «Двенадцатые Смирновские чтения по логике».
Опубликована статья Александра Запрягаева
В журнале "Journal of Logic and Computation" опубликована статья Фёдора Пахомова и Александра Запрягаева "Multi-dimensional Interpretations of Presburger Arithmetic in Itself".
Доклад Александра Запрягаева на научно-исследовательском семинаре "Современные проблемы математики"
6 ноября стажер-исследователь МЛ ЛогЛинФФ Александр Запрягаев выступил с докладом "Арифметика Бюхи и теорема Кобхэма-Семёнова" в рамках научно-исследовательского семинара "Современные проблемы математической логики" Факультета математики НИУ ВШЭ.