• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
French
Japanese
Contacts
Phone:
15304
Address: 6 Usacheva Ulitsa, room 417
Timetable
SPIN-RSCI: 1112-3424
ORCID: 0000-0002-6933-2463
ResearcherID: ABD-3594-2020
Scopus AuthorID: 57200088341
Google Scholar
Blogs
VK
Academia.edu
Supervisors
L. D. Beklemishev
E. Sokolov
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Alexander Zapryagaev

  • Alexander Zapryagaev has been at HSE University since 2019.

Education

2018

Degree
Lomonosov Moscow State University

Young Faculty Support Programme (Group of Young Academic Professionals)
Category "New Researchers" (2021)

Courses (2023/2024)

Courses (2022/2023)

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Dissertation for a degree of Candidate of Science

Publications10


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

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

Timetable for today

Full timetable

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”.