• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
French
Japanese
Contacts
Phone:
15304
E-mail:
Address: 6 Usacheva Ulitsa, room 417
Timetable
Download CV (PDF, 382 Kb)
SPIN-RSCI: 1112-3424
ORCID: 0000-0002-6933-2463
ResearcherID: ABD-3594-2020
Scopus AuthorID: 57200088341
Google Scholar
Blogs
VK
Facebook
Twitter
Academia.edu
Supervisors
L. D. Beklemishev
V. V. Podolskii
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 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)

Courses (2019/2020)

Courses (2018/2019)

Publications3


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: Интерпретации арифметики Пресбургера в себя

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