Sergey Goncharov

Серге́й Савостья́нович Гончаро́в (24 сентября 1951 года, Новосибирск, СССР) — советский и российский математик, академик РАН, профессор, лауреат многих наград, специалист в области математической логики и теории вычислимости.

Родился 24 сентября 1951 года в Новосибирске.

В 1973 году окончил с отличием механико-математический факультет Новосибирского государственного университета (НГУ).

В 1974 году — защита кандидатской диссертации, тема: «Конструктивные булевы алгебры».

В 1977 году присвоено учёное звание доцента НГУ.

В 1981 году — защита докторской диссертации, тема: «Неавтоэквивалентные конструктивизации».

В 1985 году присвоено учёное звание профессора НГУ.

В 1991 году — учредитель(выборщик) Российской Академии Наук.

В 1993 году — избран член-корреспондентом Академии Наук Высшей Школы.

В 1995 году — избран действительным членом Международной Академии Наук Высшей Школы.

В 1997 году — избран член-корреспондентом РАН.

В 2002 году — избран действительным членом Европейской Академии Наук.

В 2016 году — избран действительным членом РАН.

Работа

С 1973 года и по настоящее время работает в Сибирском отделении РАН, в 1992 году став заведующим лабораторией ИМ СО РАН, с 2004 года — заведующий отделом математической логики Института математики СО РАН, с апреля 2011 года по настоящее время — директор Института математики им. С. Л. Соболева Сибирского отделения Российской академии наук.

С 1973 по 2003 годы — ассистент, доцент, а с 1983 года профессор кафедры алгебры и логики НГУ.

С 1991 года по 1998 — заместитель директора Института дискретной математики и информатики Министерства образования РФ.

С 1992 года по настоящее время — заведующий кафедрой и профессор кафедры дискретной математики и информатики механико-математического факультета и СУНЦ НГУ.

С февраля 1996 года по 2011 год — декан Механико-математического факультета НГУ.

Научная деятельность

Специалист в области теории алгоритмов, теории моделей, алгебры и их приложений в информатике.

Автор более ста научных работ, в том числе:

• учебные пособия: «Lectures in model theory» и «Введение в логику и методологию науки» (совместно с Ю. Л. Ершовым и К. Ф. Самохваловым);
• монографии: «Счетные булевы алгебры» (1988 г.) и «Счетные булевы алгебры и разрешимость» (1996 г., и на английском языке — 1997 год), «Конструктивные модели» (1999, совместно с Ю. Л. Ершовым) и «Handbook of recursive mathematics» (1999, под редакцией С. С. Гончарова, Ю. Л. Ершова, A.Nerode, J.Remmel, V.Marek).

Участвовал как пленарный докладчик во всероссийских и международных конференциях.

Под его руководством защищено 31 кандидатская и 9 докторских диссертаций.

Общественная деятельность

В 2004 году — избран членом Правления международной профессиональной организации «Association for Symbolic Logic».

Председательствовал в Областном Совете Научной молодежи, был кандидатом в члены ЦК ВЛКСМ, членом различных учёных советов.

Ведет работу по организации и аттестации научных исследований в качестве члена специализированных советов, члена Экспертных Советов ВАК РФ и МОиН РФ по президентским грантам ведущих научных школ, молодых докторов и кандидатов наук.

Член редколлегий Сибирского математического журнала, Siberian Advances in Mathematics, сборников «Вычислительные системы» и «Проблемы специализированного образования».

Заместитель главного редактора журнала Алгебра и логика и серии монографий «Сибирская школа алгебры и логики», главный редактор журнала «Вестник НГУ, серия математика, механика и информатика» и др.

Заместитель председателя Сибирского фонда алгебры и логики.

Член президиума СО РАН.

Член бюро Отделения математических наук РАН.

• Жена: Гончарова Любовь Николаевна — детский врач.
• Дочь: Наталья (1971 г.р.), окончила гуманитарный факультет НГУ, окончила аспирантуру Института этнографии и антропологии РАН, кандидат исторических наук, замужем, имеет четверых детей: Лизу, Алексея, Василия и Маркушу. Муж — выпускник ГГФ НГУ Хлестов Иван Валерьевич.
• Дочь: Анна (1978 г.р.), окончила факультеты экономики и психологии НГУ, замужем, имеет одного сына Тимофея. Муж — выпускник ЭФ НГУ Анашин Сергей Вадимович.

• Премия Ленинского комсомола в области науки и техники за цикл работ по конструктивным булевым алгебрам (1976)
• Серебряный знак семинара Алгебры и логики за научную активную работу (1982)
• Премия СО РАН за создание теории семантического программирования совместно с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко (1983)
• Премия имени РАН А. И. Мальцева (1997) — за монографию «Счетные булевы алгебры и разрешимость»
• Орден Дружбы (2003)
• «Заслуженный работник высшей школы Российской Федерации» (2008)
• Почетная Грамота губернатора Новосибирской области В. А. Толоконского, за значительный вклад в развитие научно-образовательного комплекса Новосибирской области, подготовку высококвалифицированных специалистов для приоритетных направлений науки и экономики, многолетнюю плодотворную научную деятельность и в связи с 50-летием со дня образования университета (2009)
• Лауреат государственной премии Новосибирской области в области науки и образования. (За вклад в развитие теории конструктивных моделей и создание научных школ, за цикл работ.) (2010)
• Премия Правительства Российской Федерации в области образования (2010)

• Гончаров, Сергей Савостьянович на официальном сайте РАН
• Гончаров Сергей Савостьянович (Механико-математический факультет НГУ).mmf.nsu.ru. Проверено 21 марта 2016.
• Институт математики им. С. Л. Соболева СО РАН - Гончаров Сергей Савостьянович.math.nsc.ru. Проверено 21 марта 2016.
• Sergei S. Goncharov.mmfd.nsu.ru. Проверено 21 марта 2016.
• Персоналии: Гончаров Сергей Савостьянович.mathnet.ru. Проверено 21 марта 2016.