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.
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.
Awards and Accomplishments
- Best Teacher — 2025