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

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

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

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

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

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

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

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

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

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

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

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

                 

 

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

 

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

Наверх

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