Кудинов Андрей Валерьевич
- Доцент:Факультет математики / Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН
- Начал работать в НИУ ВШЭ в 2012 году.
- Научно-педагогический стаж: 17 лет.
Образование, учёные степени
- 2008Кандидат физико-математических наук: Московский государственный университет им. М.В. Ломоносова, специальность 01.01.06 «Математическая логика, алгебра и теория чисел», тема диссертации: Топологическая модальная логика с модальностью неравенства
- 2001
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика. Прикладная математика», квалификация «Математик»
Научные интересы
Модальная логика, топологическая и окрестностная семантика, логика знания, теория алгоритмов и алгоритмическая сложность
Достижения и поощрения
Надбавка за публикацию в международном рецензируемом научном издании (2018-2019)
Учебные курсы (2024/2025 уч. год)
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 2-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
- Пропозициональные логические системы (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)Рус
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Алгебраическая логика" (Дисциплина общефакультетского пула; 3, 4 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)Рус
- Элементы математической логики (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Математика. Лиценциат (Бакалавриат; где читается: Факультет математики; 3-й курс, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 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. Руководитель
Конференции
- 2016Advances in Modal Logic (Будапешт). Доклад: Neighbourhood products of pretransitive logics with S5
- 2014
Advances in Modal Logic 2014 (Гронинген). Доклад: Neighbourhood frame product KxK
- 2013Topology, Algebra, and Categories in Logic 2013 (Нэшвилл). Доклад: Derivational modal logic of real line with difference modality
Публикации18
- Статья Kikot S., Kudinov A. On Strictly Positive Fragments of Modal Logics with Confluence // Mathematics. 2022. Vol. 10. No. 19. Article 3701. doi
- Статья Kudinov A. On neighbourhood product of some Horn axiomatizable logics // Logic Journal of the IGPL. 2018. Vol. 26. No. 3. P. 316-338. doi
- Статья Кудинов А. В., Шапировский И. Б. О разбиениях шкал Крипке конечной высоты // Известия РАН. Серия математическая. 2017. Т. 81. № 3. С. 134-159. doi
- Статья Кудинов А. В., Шапировский И. Б. О финитной аппроксимируемости модальных логик конечной глубины // Успехи математических наук. 2016. Т. 71. № 1. С. 175-176. doi
- Глава книги Kudinov A., Shehtman V. B. Derivational Modal Logics with the Difference Modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. P. 291-334.
- Глава книги Kudinov A., Shehtman V. B. Derivational modal logics with the difference modality, in: Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 2014. Ch. 11. P. 291-334.
- Глава книги Kudinov A. Neighbourhood Frame Product KxK, in: Advances in Modal Logic. Volume 10. College Publications, 2014. P. 373-386.
- Глава книги Kudinov A., Balbiani P., Hans v. D. Subset Space Logic with Arbitrary Announcements, in: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Berlin : Springer, 2013. P. 233-244.
- Глава книги Kudinov A. Modal logic of some products of neighbourhood frames, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 286-294.
- Глава книги Kudinov A., Shehtman V. B., Shapirovsky I. On modal logics of Hamming spaces, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 395-410.
- Глава книги Kudinov A., Shapirovsky I. Finite model property of pretransitive analogs of S5, in: Topology, Algebra and Categories in Logic (TACL 2011). Marseille : , 2011. P. 261-264.
- Глава книги Кудинов А. В. Модальная логика R с модальностью неравенства // В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'11). М. : ИППИ РАН, 2011. С. 335-339.
- Глава книги Кудинов А. В., Шапировский И. Б. Финитная аппроксимируемость предтранзитивных аналогов S5 // В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'11). М. : ИППИ РАН, 2011. С. 353-356.
- Глава книги Kudinov A., Balbiani P. A topological interpretation of public announcement logic, in: Advances in Modal Logic 2010, Extended Abstracts / Ed. by L. D. Beklemishev, V. Goranko, V. B. Shehtman. Vol. 8. L. : College Publications, 2010. P. 6-11.
- Глава книги Кудинов А. В., Шапировский И. Б. Некоторые примеры модальных логик без конечной аксиоматики // В кн.: Сборник статей конференции “Информационные технологии и системы” (ИТиС'10). М. : ИППИ РАН, 2010. С. 258-262.
- Глава книги Кудинов А. В., Шапировский И. Б. Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик. // В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'09). М. : ИППИ РАН, 2009. С. 411-415.
- Статья Кудинов А. В. О топологической модальной логике R с неравенством // Успехи математических наук. 2008. Т. 63. № 1 (379). С. 163-164.
- Глава книги Kudinov A. Topological modal logics with difference modality, in: Advances in Modal Logic, Volume 6. L. : College Publications, 2006. P. 319-332.
Информация*
- Общий стаж: 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-графов, теории определимости, а также многочленам и графам.