• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
Russian
English
Polish
Contacts
Phone:
(495) 772-95-90 * 22668
22668
E-mail:
Timetable
SPIN-RSCI: 3644-3790
ORCID: 0000-0003-0025-0133
ResearcherID: P-2607-2016
Scopus AuthorID: 54914981600
Google Scholar
Supervisor
S. Kuznetsov
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.

Stepan Kuznetsov

  • Stepan Kuznetsov has been at HSE since 2016.

Education and Degrees

  • 2012

    Candidate of Sciences* (PhD)

  • 2009

    Degree in Mathematics
    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.

Courses (2018/2019)

Courses (2017/2018)

Publications8

Conferences

  • 2018
    9th International Joint Conference on Automated Reasoning (IJCAR 2018) (Оксфорд). Presentation: A logical framework with commutative and non-commutative subexponentials
  • 2016
    Symposium on Logical Foundations of Computer Science (LFCS 2016) (Дирфилд-Бич). Presentation: On Lambek's restriction in the presence of exponential modalities
  • The 21st Conference on Formal Grammar (Больцано). Presentation: Undecidability of the Lambek calculus with a relevant modality

Employment history

Steklov Mathematical Institute, RAS: research fellow, Department of Math. Logic, since November 2013

Lomonosov Moscow State University, Faculty of Mathematics and Mechanics, Department of Math. Logic and Theory of Algorithms: assistant professor (part-time), since May 2012

Timetable for today

Full timetable