• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7(495) 772-9590 *15304
Address: Room 1421. 7 Vavilova Str. Moscow
Download CV
ORCID: 0000-0001-5112-4992
Scopus AuthorID: 24339205900
Google Scholar
V. Timorin
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.

Yuri Savateev

  • Yuri Savateev has been at HSE University since 2014.

Education and Degrees

  • 2009

    Candidate of Sciences* (PhD)

  • 2006

    Lomonosov Moscow State University

* Candidate of Sciences
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.

Continuing education / Professional retraining / Internships / Study abroad experience

2017 - «Teach for HSE / Преподаем в Вышке» – a professional development program for teachers and researchers at Higher School of Economics, focused on teaching.

Professional Interests

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2018/2019)

Courses (2017/2018)

Courses (2016/2017)



  • 2017
    24th Workshop on Logic Language Information and Computation (WoLLIC 2017) (Лондон). Presentation: Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
  • Workshop on Proof Theory, Modal Logic and Reflection Principles (Москва). Presentation: Non-Well-Founded Proofs for Modal Grzegorczyk Logic

  • 2015

    Семинар отдела математической логики «Теория доказательств» (Москва). Presentation: Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств

Timetable for today

Full timetable