• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
французский
японский
Контакты
Телефон:
15304
Адрес: Усачева ул., д. 6, каб. 417
Время присутствия: четверг
Расписание
SPIN РИНЦ: 1112-3424
ORCID: 0000-0002-6933-2463
ResearcherID: ABD-3594-2020
Scopus AuthorID: 57200088341
Google Scholar
Блоги и соц. сети
VK
Academia.edu
Руководители
Беклемишев Л. Д.
Соколов Е. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Запрягаев Александр Александрович

  • Начал работать в НИУ ВШЭ в 2019 году.

Полномочия / обязанности

Проведение научно-педагогической деятельности.

Образование

2018

Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальная математика и механика», квалификация «Математик. Механик. Преподаватель»

Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2021)

Учебные курсы (2023/2024 уч. год)

Учебные курсы (2022/2023 уч. год)

Учебные курсы (2021/2022 уч. год)

Учебные курсы (2020/2021 уч. год)

Учебные курсы (2019/2020 уч. год)

Учебные курсы (2018/2019 уч. год)

Диссертация на соискание ученой степени кандидата наук

Публикации10

Конференции

  • 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
  • 2016

    Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2016» (Москва). Доклад: Интерпретации арифметики Пресбургера в себя

Опыт работы

Опыт преподавания:

01– 03.2020, Ведение семинаров по курсу «Логика и алгоритмы» на 2 курсе бакалавриата Факультета математики НИУ ВШЭ (лектор – доц. А. В. Кудинов). Участие в разработке учебно-методических материалов к курсу. 

09– 12.2019, Ведение семинаров по секции «Логика» майнора «Математические структуры» для третьекурсников НИУ ВШЭ (лектор – проф. Л. Д. Беклемишев). Участие в разработке учебнометодических материалов к курсу.

04– 06.2018, Ведение семинаров по курсу «Логика и алгоритмы» на 2 курсе бакалавриата Факультета математики НИУ ВШЭ (лектор – проф. В. Б. Шехтман). Участие в разработке учебнометодических материалов к курсу.

весна 2018, Ведение, в рамках педагогической практики, семинаров по курсу «Математическая теория грамматик» (ТиПЛ филологического факультета МГУ, лектор – проф. М. Р. Пентус).

2012 – 2018, Проверка работ школьников 8-11 классов, включая пробные варианты ЕГЭ по математике, в рамках Открытого лицея «Всероссийская заочная многопредметная школа» при МГУ и Лицее «Вторая школа». Учебный руководитель – Н. В. Антонова.

2014 – 2015, Создание по поручению чл.-корр. РАН, проф. Л. Д. Беклемишева, доц. Т. Л. Яворской и ассистента С. Л. Кузнецова кафедрального пособия-конспекта по математической логике на основе спецкурса, прочитанного на механико-математическом факультете МГУ в 2014–2015 учебном году (см. здесь).


Информация*

Общий стаж: 3 года
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

Расписание занятий на сегодня

Полное расписание

Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики»‎ на матфаке ВШЭ

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 ноября стажер-исследователь МЛ ЛогЛинФФ Александр Запрягаев выступил с докладом "Арифметика Бюхи и теорема Кобхэма-Семёнова" в рамках научно-исследовательского семинара "Современные проблемы математической логики" Факультета математики НИУ ВШЭ.