Daniyar S. Shamkanov
- Leading Research Fellow: International Laboratory for Logic, Linguistics and Formal Philosophy
- Associate Professor: Faculty of Mathematics / Joint Department with the Steklov Mathematical Institute (RAS)
- Daniyar S. Shamkanov has been at HSE University since 2012.
- Language Proficiency
- English
- Contacts
- Phone:
15304 - Address: 6 Usacheva Ulitsa, room 417
- SPIN-RSCI: 2216-1138
- ORCID: 0000-0002-1421-9965
- ResearcherID: P-5451-2016
- Scopus AuthorID: 38562114000
- Google Scholar
- 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.
Education and Degrees
2012
Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number TheoryLomonosov Moscow State University
Thesis Title: Interpolation properties of provability logics and normalization for terms of reflexive combinatory logic
2008
DegreeLomonosov 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.
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.
Courses (2025/2026)
- Research Seminar "Modern Problems of Mathematical Logic 1" (Master field of study Mathematics; 2 year, 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Master 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 field of study Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Master 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 (2024/2025)
- Introduction to Generalized Recursion Theory (Optional course (faculty); Faculty of Mathematics; 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" (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)
- Introduction to Categorical Logic (Optional course (faculty); 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)
- Foundations of Algebra and Geometry (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Algebraic Logic" (Optional course (faculty); 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
Courses (2021/2022)
- Discrete Mathematics (Bachelor’s programme; Faculty of Mathematics field of study Mathematics, field of study Mathematics; 1 year, 1 module)Rus
Courses (2020/2021)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Mathematics field of study Mathematics, field of study Mathematics; 1 year, 1 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 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" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
25
Apr
2025
The article by Daniyar Shamkanov "A Realization Theorem for the Modal Logic of Transitive Closure K+" has been published.
The journal "Izvestiya of the Russian Academy of Sciences. Series Mathematics" has published an article by Daniyar Shamkanov titled "A Realization Theorem for the Modal Logic of Transitive Closure K+"
7
Dec
2024
Daniyar Shamkanov spoke at the seminar "Formal Philosophy"
Daniyar Shamkanov made a presentation on the topic "On the question of the importance of self-reference for an ontological argument" at the theoretical seminar "Formal Philosophy" on December 6.
28
Nov
2024
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.