Alexander Zapryagaev
- Research Assistant:International Laboratory for Logic, Linguistics and Formal Philosophy
- Lecturer:Faculty of Computer Science / Big Data and Information Retrieval School
- Postgraduate Student:Faculty of Mathematics
- Alexander Zapryagaev has been at HSE University since 2019.
Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2021)
Postgraduate Studies
4th year of study
Approved topic of thesis: Interpretations in Weak Arithmetics
Academic Supervisor: Beklemishev, Lev D.
Courses (2021/2022)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Mathematical Logic (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Past Courses
Courses (2020/2021)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics 2 (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2019/2020)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2018/2019)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 4 module)Rus
- Mathematics Practical Training (Bachelor’s programme; Faculty of Mathematics; 1 year, 1-4 module)Rus
Publications5
- Chapter Zapryagaev A. Presburger arithmetic and Visser's conjecture, in: Logical Perspectives 2021 Workshop / Сост.: L. D. Beklemishev, S. Kuznetsov. M. : , 2021.
- Chapter Запрягаев А. А. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера // В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. / Отв. ред.: В. И. Маркин. М. : Русское общество истории и философии науки, 2021. С. 16-18.
- Article Pahomov F., Zapryagaev A. Multi-dimensional Interpretations of Presburger Arithmetic in Itself // Journal of Logic and Computation. 2020. Vol. 30. No. 8. P. 1681-1693. doi
- Preprint Zapryagaev A. Interpretations of Linear Orderings in Presburger Arithmetic / Cornell University. Series arXiv "math". 2019. No. 1911.07182.
- Chapter Zapryagaev A., Pahomov F. Interpretations of Presburger Arithmetic in Itself, in: International Symposium on Logical Foundations of Computer Science, LFCS 2018 Vol. 10703. Springer, 2018. P. 354-367. doi
Conferences
- 2019Одиннадцатые Смирновские чтения по логике (Москва). Presentation: Интерпретации линейных порядков в арифметике Пресбургера
- Russian Workshop on Complexity and Model Theory (Долгопрудный). Presentation: Linear Orderings Interpreted in Presburger Arithmetic
- The 15th Workshop on Altaic Formal Linguistics (Москва). Presentation: On the Infinitive of the Verb se-
- Omentielva Toltea (Рейкьявик). Presentation: Nómessen Lúmessenye Veryandion: On the “in front/at back”, “before/after” Relationships in Eldarin
- 2018
Конференция «Ломоносов 2018» (Москва). Presentation: Необходимые и достаточные условия интерпретируемости линейныхпорядков в арифметике Пресбургера
- Symposium on Logical Foundations Of Computer Science (LFCS 2018) (Deerfield Beach, FL). Presentation: Interpretations of Presburger Arithmetic in Itself
- 2017
Десятые Смирновские чтения по логике (Москва). Presentation: Интерпретации арифметики Пресбургера в себя
Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Presentation: Interpretations in Presburger arithmetic
XXIV Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2017» (Москва). Presentation: Классификация линейных порядков, интерпретируемых многомерно варифметике Пресбургера
- Omentielva Otsea (Hayward, CA). Presentation: Poetic Metre and Prosody in Eldarin Languages
- 2016
Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2016» (Москва). Presentation: Интерпретации арифметики Пресбургера в себя
The new article of Alexander Zapryagaev
The article "Multi-dimensional Interpretations of Presburger Arithmetic in Itself" written by Fedor Pakhomov and Alexander Zapryagaev was published in the academic journal “Journal of Logic and Computation”.