кандидат физико-математических наук, младший научный сотрудник
Область научных интересов: Конструктивная математическая логика
Коновалов А.Ю. родился в 1991 году в г. Воронеже.
В 2008 году поступил на механико-математический факультет МГУ им. М.В.Ломоносова.
С 2010 года обучался на кафедре математической логики и теории алгоритмов под научным руководством доцента В.Е. Плиско.
В 2013 году, с отличием окончив механико-математический факультет, продолжил обучение в аспирантуре.
В 2018 году защитил кандидатскую диссертацию на тему "Конструктивные семантики логических языков, основанные на обобщенной вычислимости".
- Конструктивные семантики логических языков, основанные на обобщенной вычислимости. Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- A Parallel Hierarchical Approach for Community Detection on Large-scale Dynamic Networks (2025). Bokov Grigoriy, Konovalov Aleksandr, Uporova Anna, Moiseev Stanislav, Safonov Ivan, Radionov Alexander в журнале ArXiv e-prints, с. 1-45 DOI
ИСТИНА - Некорректность базисной арифметики относительно строгой примитивно-рекурсивной реализуемости для языка базисной логики (2023). Коновалов А.Ю. в сборнике Тринадцатые Смирновские чтения по логике Материалы международной научной конференции 22 – 24 июня 2023 г. Москва, издательство Издательство "Маска" (Москва), с. 26-28
- Автоматизация поиска архитектур искусственных нейронных сетей (2023). Часовских А.А., Половников В.С., Хусаенов А.А., Боков Г.В., Коновалов А.Ю., Дробышев А.С., Бирюкова В.А. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 27, № 4, с. 5-28
ИСТИНА, Текст на сайте журнала - Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости (2023). Коновалов Александр Юрьевич в журнале Математические заметки, издательство МИАН (Москва), том 114, № 6, с. 827-847 DOI
- A Generalized Realizability and Intuitionistic Logic (2023). Konovalov Aleksandr Yu в журнале ACM Transactions on Computational Logic, издательство Association for Computing Machinery, Inc. (United States), том 24, № 2, с. 1-15 DOI
- ExhauFS: exhaustive search-based feature selection for classification and survival regression (2022). Nersisyan S., Novosad V., Galatenko A., Sokolov Andrey, Bokov G., Konovalov A., Alekseev D., Tonevitsky A. в журнале PeerJ, издательство PeerJ (San Francisco), том 10, № e13200 DOI
ИСТИНА - Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability (2022). Konovalov A.Yu в журнале Mathematical Notes, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 111, с. 243-257 DOI
- Некорректность базисной логики предикатов относительно сильного варианта строгой примитивно-рекурсивной реализуемости (2022). Коновалов А.Ю. в журнале Математические заметки, издательство МИАН (Москва), том 111, № 2, с. 241-257 DOI
- Строгая примитивно-рекурсивная реализуемость для языка базисной логики (2021). Коновалов А.Ю. в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 28-30
- ExhauFS: exhaustive search-based feature selection for classification and survival regression (2021). Nersisyan Stepan, Novosad Victor, Galatenko Alexei, Sokolov Andrey, Bokov Grigoriy, Konovalov Alexander, Alekseev Dmitriy, Tonevitsky Alexander в журнале bioRxiv (The preprint server for biology) DOI
ИСТИНА - General Recursive Realizability and Intuitionistic Logic (2021). Konovalov A.Yu в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 60, с. 89-94 DOI
- Общерекурсивная реализуемость и интуиционистская логика (2021). Коновалов А.Ю. в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 60, № 2, с. 137-144 DOI
- Generalized Realizability and Basic Logic (2021). Konovalov Aleksandr Yu в журнале ACM Transactions on Computational Logic, издательство Association for Computing Machinery, Inc. (United States), том 22, № 4, с. 1-23 DOI
- Корректность базисной логики относительно абсолютной L-реализуемости (2021). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 25, № 2, с. 49-54
- Λ-выражения для примитивно-рекурсивных функций в иерархии Гжегорчика (2021). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 25, № 1, с. 97-114
- Generalized Realizability and Markov’s Principle (2020). Konovalov A.Yu в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, с. 38-41 DOI
- General Recursive Realizability and Basic Logic (2020). Konovalov A.Yu в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 59, с. 367-384 DOI
- Общерекурсивная реализуемость и базисная логика (2020). Коновалов А.Ю. в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 59, № 5, с. 542-566 DOI
- Корректность конструктивной теории множеств без аксиомы объемности относительно семантики арифметической реализуемости, основанной на гиперарифметических видах (2020). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 24, № 1, с. 73-77
Текст на сайте журнала - Обобщенная реализуемость и принцип Маркова (2020). Коновалов А.Ю. в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 60-64
- Понятие реализуемости на основе общерекурсивных функций (2019). Коновалов А.Ю. в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 277-279
- Некорректность интуиционистской теории множеств относительно конструктивной семантики, основанной на гиперарифметических видах (2019). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 3, с. 131-134
- Generalized Realizability for Extensions of the Language of Arithmetic (2019). Konovalov A.Yu в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 74, № 4, с. 167-170 DOI
- Некорректность теории множеств Цермело-Френкеля относительно конструктивной семантики, основанной на гиперарифметических видах (2019). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 2, с. 159-162
Текст на сайте журнала - Absolute L-realizability and intuitionistic logic (2019). Konovalov A.Yu в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 74, № 2, с. 79-82 DOI
- Обобщенная реализуемость для расширений языка арифметики (2019). Коновалов А.Ю. в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 50-54
- Условие корректности и полноты классической логики для семантики относительной V-реализуемости (2019). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 1, с. 133-136
- Равномерная V-реализуемость принципа Маркова в V-перечислимой области (2019). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 1, с. 99-103
- Абсолютная L-реализуемость и интуиционистская логика (2019). Коновалов Александр Юрьевич в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 50-53
- Классическая истинность всех абсолютно арифметически реализуемых предикатных формул (2018). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 22, № 4, с. 111-114
- Критерий совпадения V-реализуемости формул расширения L языка арифметики с классической семантикой языка L (2018). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 22, № 3, с. 127-130
- Некорректность интуиционистской логики относительно L-реализуемости (2018). Коновалов А.Ю. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 22, № 3, с. 41-44
Текст на сайте журнала - The semantics of realizability for the constructive set theory based on hyperarithmetical predicates (2017). Konovalov A.Yu в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 72, № 3, с. 129-132 DOI
- Семантика реализуемости для конструктивной теории множеств, основанная на гиперарифметический предикатах (2017). Коновалов Александр Юрьевич в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 59-62
- Arithmetical realizability and basic logic (2016). Konovalov A.Yu в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 71, № 1, с. 35-38 DOI
- Arithmetical realizability and primitive recursive realizability (2016). Konovalov A.Yu в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 71, № 4, с. 166-169 DOI
- Арифметическая реализуемость и примитивно-рекурсивная реализуемость (2016). Коновалов Александр Юрьевич в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 60-64
- Арифметическая реализуемость и базисная логика (2016). Коновалов Александр Юрьевич в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 52-56
- On hyperarithmetical realizability (2015). Konovalov A.Yu, Plisko V.E. в журнале Mathematical Notes, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 98, № 5, с. 778-797 DOI
- О гиперарифметической реализуемости (2015). Коновалов Александр Юрьевич, Плиско Валерий Егорович в журнале Математические заметки, издательство МИАН (Москва), том 98, № 5, с. 725-746 DOI