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

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 (2024/2025)

Propositional Logical Systems (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Master’s programme; Faculty of Mathematics; 2 year, 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 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

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

Andrey Kudinov