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
3rd year of study
Approved topic of thesis: Interpretations in Weak Arithmetics
Academic Supervisor: Beklemishev, Lev D.
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
- Past Courses
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
Publications3
- 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 arxive "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”.
