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

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

2008

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

2001

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

Профессиональные интересы

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

27.03.17 Алгоритмы и вычислимые функции 27.03.19 Математическая логика

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

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

Надбавка за публикацию в международном рецензируемом научном издании (2018–2019)

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

Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 2-й курс, 1, 2 модуль)рус
Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
Пропозициональные логические системы (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
Архив учебных курсов

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

Расписание занятий по физической культуре в спортивных секциях

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

Гранты

РНФ 21-11-00318

Академическая программа поддержки НУГ, ВШЭ (№ 21-04-027)

Академическая программа поддержки НУГ, ВШЭ (№ 19-04-050)

РНФ 16-11-10252

РФФИ А-16-01-00615

РФФИ НЦНИЛ_а 14-01-93105

РФФИ мол_а 14-01-31442. Руководитель

Конференции

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

Опыт работы

Работает в НИУ ВШЭ с 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

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

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

11

февр.

2023

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

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

6

июнь

2022

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

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

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

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

Профессиональные интересы

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

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

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

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

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

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

Гранты

Конференции

Опыт работы

Информация^*

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

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

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

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

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

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

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

Профессиональные интересы

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

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

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

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

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

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

Гранты

Конференции

Опыт работы

Информация*

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

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

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

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

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

Информация^*