• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
15304
Адрес: Усачёва ул., д. 6, каб. 417
Время присутствия: пятница 15:00-16:20, telegram: @AndreyLogic, skype, zoom по договоренности.
Расписание
ORCID: 0000-0003-0162-2306
ResearcherID: B-4654-2016
Scopus AuthorID: 55117642700
Google Scholar
Руководитель
Скрипченко А. С.
Версия для печати

 

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

Кудинов Андрей Валерьевич

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

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

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

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

Научные интересы

Модальная логика, топологическая и окрестностная семантика, логика знания, теория алгоритмов и алгоритмическая сложность

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

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

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

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

Гранты

Конференции

  • 2016
    Advances in Modal Logic (Будапешт). Доклад: Neighbourhood products of pretransitive logics with S5
  • 2014

    Advances in Modal Logic 2014 (Гронинген). Доклад: Neighbourhood frame product KxK

  • 2013
    Topology, Algebra, and Categories in Logic 2013 (Нэшвилл). Доклад: Derivational modal logic of real line with difference modality

Публикации18

Опыт работы

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

Информация*

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

Участие в научно-исследовательских грантах

Участвовал в следующих грантах РФФИ: 11-01-93107-НЦНИЛ_а, 11-01-00958-а, 14-01-93105-НЦНИЛ_а, 14-01-31442-мол_а

Учавствую в гранте РФФИ 16-01-00615-а

Учавствую в гранте РНФ 14-50-00150


Основное место работы, должность

ИППИ РАН, с.н.с.

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

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

Доклад Андрея Кудинова на научно-теоретическом семинаре «Формальная философия»

10 февраля состоялось 75-е заседание научно-теоретического семинара «Формальная философия», на котором Андрей Кудинов выступил с докладом «Логика пространств подмножеств с публичными высказываниями».

Майская смена в Сириусе

С 1 по 25 мая 2022 года в образовательном центре «Сириус» проходила проектная программа по математике и теоретической информатике. На программу приехали 60 участников из разных регионов России. Это школьники 10-11 классов, которые прошли предварительный дистанционный отбор. Программа включала в себя пять проектов, посвященных булевым схемам, решеткам, раскраскам 3-графов, теории определимости, а также многочленам и графам.

Лекторий НИУ ВШЭ: итоги 2015-16 учебного года