• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
15304
Адрес: Усачёва ул., д. 6, каб. 417
Время присутствия: Пятница 14:40-16:00, Zoom, идентификатор 519 999 5541, код доступа 994577
Расписание
SPIN РИНЦ: 2216-1138
ORCID: 0000-0002-1421-9965
ResearcherID: P-5451-2016
Scopus AuthorID: 38562114000
Google Scholar
Руководитель
Скрипченко А. С.
Версия для печати

 

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

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

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

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

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

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

Достижения и поощрения

Надбавка за публикацию в международном рецензируемом научном издании (2022-2023, 2021-2022)

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

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

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

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

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

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

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

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

Публикации18

Опыт работы

Работает в НИУ ВШЭ с 2012 года

Информация*

  • Общий стаж: 12 лет
  • Научно-педагогический стаж: 12 лет
  • Преподавательский стаж: 11 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

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

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".

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

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

Доклад Данияра Шамканова на семинаре «Формальная философия-73»

18 ноября состоялось 73-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».