• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
нет
Электронная почта:
Расписание
Резюме (PDF, 203 Кб)
SPIN РИНЦ: 2216-1138
ORCID: 0000-0002-1421-9965
ResearcherID: P-5451-2016
Scopus AuthorID: 38562114000
Google Scholar
Руководитель
Тиморин В. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Шамканов Данияр Салкарбекович

  • Начал работать в НИУ ВШЭ в 2012 году.
  • Научно-педагогический стаж: 5 лет.

Образование, учёные степени

  • 2012

    Кандидат физико-математических наук: МГУ им. М.В. Ломоносова, специальность 01.01.06 «Математическая логика, алгебра и теория чисел», тема диссертации: Интерполяционные свойства логик доказуемости и нормализация термов рефлекcивной комбинаторной логики

  • 2008

    Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика»

Учебные курсы (2017/2018 уч. год)

Учебные курсы (2016/2017 уч. год)

Учебные курсы (2015/2016 уч. год)

Учебные курсы (2014/2015 уч. год)

Учебные курсы (2013/2014 уч. год)

Учебные курсы (2012/2013 уч. год)

Публикации6


Текущие гранты

2012-2014 Research assistant, RFBR 12-01-00888-a "Investigations in proof theory and non-classical logics".

2011-2013 Research assistant, RFBR 11-01-00947-a "Investigations in mathematical logic and algorithms".

2012-2014 Research assistant, NSh-5593.2012.1 “Russian Presidential Grant for support of leading scientific schools”.
2011-2012 Research assistant, RFBR Grant "Applications of methods of mathematical logic to fundamental problems of algebra and computer science".
2011-2013 Research assistant, RFBR Grant "Mathematical problems of the logical semantics of the non-classical deductive systems".
2010-2011 Switzerland-Russia Scientific and Technological Cooperation Programme, Joint Research Project "Computational Proof Theory".

Расписание занятий на сегодня

Полное расписание