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

    Degree
    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)

Grants

Conferences

  • 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

Publications18


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

Timetable for today

Full timetable