• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
Address: 6 Usacheva Ulitsa, room 417
ORCID: 0000-0003-0162-2306
ResearcherID: B-4654-2016
Scopus AuthorID: 55117642700
Google Scholar
Office hours
Friday 16:00-17:30
A. Skripchenko
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.

Andrey Kudinov

  • Associate Professor:Faculty of Mathematics / Joint Department with the Kharkevich Institute for Information Transmission Problems (RAS)
  • Andrey Kudinov has been at HSE University since 2012.

Education and Degrees

  • 2008

    Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
    Lomonosov Moscow State University

  • 2001

    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.

Scientific interests

Modal logic, topological and neighborhood semantics, epistemic logic, algorithmic complexity

Courses (2023/2024)

Courses (2022/2023)

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Courses (2016/2017)



  • 2016
    Advances in Modal Logic (Будапешт). Presentation: Neighbourhood products of pretransitive logics with S5
  • 2014

    Advances in Modal Logic 2014 (Гронинген). Presentation: Neighbourhood frame product KxK

  • International Workshop on Topological Methods in Logic IV (Тбилиси). Presentation: Modal logic of products of neighborhood frames
  • 2013
    Topology, Algebra, and Categories in Logic 2013 (Нэшвилл). Presentation: Derivational modal logic of real line with difference modality


Modal logic, topological semantics, epistemic logic, theory of computation

Timetable for today

Full timetable