• 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, 341 Kb)
ORCID: 0000-0002-6933-2463
Google Scholar
Blogs
VK
Facebook
Twitter
Academia.edu
Supervisor
L. D. Beklemishev
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.

Postgraduate Studies

2nd year of study
Approved topic of thesis: Topic of Thesis not yet confirmed
Academic Supervisor: Beklemishev, Lev D.

Courses (2019/2020)

Publications2


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