Alexander Zapryagaev
- Associate Professor: Faculty of Computer Science / Big Data and Information Retrieval School
- Associate Professor: Faculty of Mathematics
- Alexander Zapryagaev has been at HSE University since 2019.
Education and Degrees
Lomonosov Moscow State University
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Awards and Accomplishments
- Young Faculty Support Programme (Group of Young Academic Professionals)
Category "New Researchers" (2021)
Courses (2025/2026)
- Automata Theory, Formal Languages, Regular Expressions (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 4 year, 3 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Computer Science field of study Software Engineering; 1 year, 1-4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 1 year, 1-3 module)Rus
- Introduction to Discrete Mathematics and Topology (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 1-3 module)Rus
- Introduction to Discrete Mathematics and Topology (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 1-3 module)Rus
- Number Theory (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 1 year, 3 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
- Past Courses
Courses (2023/2024)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Computer Science field of study Software Engineering; 1 year, 1-4 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
Courses (2022/2023)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Computer Science field of study Software Engineering; 1 year, 1-4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Management field of study Software Engineering; 1 year, 1-4 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Courses (2021/2022)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 2 year, 3, 4 module)Rus
- Mathematical Logic (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 2 year, 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Courses (2020/2021)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics 2 (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 2 year, 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Dissertation for a Candidate of Sciences degree
- 2023
A. Zapryagaev Интерпретации в слабых арифметических теориях
Conferences
- 2023
42ème Journées sur les Arithmétiques Faibles (JAF 42) (Karlovassi). Presentation: On interpretations in Buchi Arithmetics
Третья конференция Математических центров России (Майкоп). Presentation: Linear orders interpretable in Presburger arithmetic
- 2022
Вторая конференция Математических центров России (Москва). Presentation: Interpretations of Büchi arithmetics in themselves
- 2021
Двенадцатые Смирновские чтения по логике (Москва). Presentation: Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера
Logical Perspectives 2021 Summer School and Workshop (Москва). Presentation: Presburger arithmetic and Visser's conjecture
The 29th Japanese/Korean Linguistics Conference (JK29) (Нагоя). Presentation: On the Names of Chinese Tones in Japanese
- 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
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”.