В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
Regular version of the site
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.
Modal logic, topological and neighborhood semantics, epistemic logic, algorithmic complexity
Courses (2024/2025) Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus 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 field of study 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 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 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" (Optional course (faculty); Faculty of Mathematics ; 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 Past Courses Courses (2023/2024) Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 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); 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); 3, 4 module)Rus Courses (2022/2023) Elements of Mathematical Logic (Optional course (faculty); 1, 2 module)Rus Research Seminar "Algebraic Logic" (Optional course (faculty); 3, 4 module)Rus Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 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); 1, 2 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); 3, 4 module)Rus 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 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
Modal logic, topological semantics, epistemic logic, theory of computation