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

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

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

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

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

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

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

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

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

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

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

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

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

Наверх