English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм

Курсы и семинары :: Студенты и аспиранты Коновалова А.Ю. :: Публикации Коновалова А.Ю. :: Публикации учеников Коновалова А.Ю.

Коновалов Александр Юрьевич

к.ф.-м.н., м.н.с.

Коновалов А.Ю. родился в 1991 году в г. Воронеже.

В 2008 году поступил на механико-математический факультет МГУ им. М.В.Ломоносова.

С 2010 года обучался на кафедре математической логики и теории алгоритмов под научным руководством доцента В.Е. Плиско.

В 2013 году, с отличием окончив механико-математический факультет, продолжил обучение в аспирантуре.

В 2018 году защитил кандидатскую диссертацию на тему "Конструктивные семантики логических языков, основанные на обобщенной вычислимости".

Область научных интересов: Конструктивная математическая логика.

Email: Написать письмо

См. также: https://istina.msu.ru/profile/konoval/

                 

 

Список основных публикаций Коновалова А.Ю.

 

Список научных публикаций учеников Коновалова А.Ю.

Наверх

   © 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм
Rambler's Top100 Рейтинг@Mail.ru