Кудинов Андрей Валерьевич

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.

Professional Interests

modal logic topological semantics Epistemic modal logic theory of algorithms

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

Courses (2025/2026)

Introduction to Discrete Mathematics and Topology (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 1-3 module)Rus
Introduction to Discrete Mathematics and Topology (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 1-3 module)Rus
Mathematical Logic through Python (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science; 2 year, 3, 4 module)Rus
Mathematical Logic through Python (Optional course (faculty); Faculty of Computer Science; 3, 4 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Master’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 2" (Master’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 2" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 3, 4 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Past Courses

Timetable for today

Full timetable

Grants

Russian Science Foundation (RSF) 21-11-00318

Academic Fund Program at HSE University (grant No.21-04-027)

Academic Fund Program at HSE University (grant No.19-04-050)

Russian Science Foundation (RSF) 16-11-10252

RFBR А-16-01-00615

RFBR НЦНИЛ_а 14-01-93105

RFBR mol_а 14-01-31442 (Leader)

Conferences

2025
TbiLLC 2025: Fifteenth International Tbilisi Symposium on Logic, Language and Computation (Кутаиси). Presentation: Epistemic logics with counting rules modalities

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

Supervisor of the following Doctoral theses

for a Candidate of Sciences degree

1
MODAL LOGIC OF RANDOM KRIPKE FRAMES, 2026

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

Andrey Kudinov