Гончаров Сергей Савостьянович
Заведующий Лабораторией теории вычислимости и прикладной логики,
Академик РАН, доктор физико-математических наук, профессор,
Заслуженный работник высшей школы Российской Федерации,
Лауреат премии Правительства Российской Федерации в области образования.

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

Образование, ученые степени, ученые звания, членство в академиях

• 1973 – окончил с отличием механико-математический факультет НГУ
• 1974 – защитил кандидатскую диссертацию
• 1977 – присвоено ученое звание доцента
• 1981 – защитил докторскую диссертацию
• 1985 – присвоено ученое звание профессора
• 1991 – учредитель (выборщик) Российской академии наук
• 1993 – государственная стипендия выдающимся ученым России
• 1993 – избран членом-корреспондентом Международной академии наук высшей школы
• 1995 – избран действительным членом Международной академии наук высшей школы
• 1997 – государственная стипендия выдающимся ученым России
• 1997 – избран членом-корреспондентом Российской академии наук
• 2002 – избран действительным членом Европейской Академии Наук
• 2003 – избран в члены Правления Ассоциации Символической Логики
• 2016 – избран академиком Российской академии наук

Награды, премии, почетные звания

• 1976 – Премия Ленинского комсомола в области науки и техники за цикл работ по конструктивным булевым алгебрам
• 1982 – Серебряный знак семинара «Алгебра и логика» за активную научную работу
• 1987 – Премия Сибирского отделения АН СССР за создание теории семантического программирования совместно с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко
• 1997 – Премия им. академика А. И. Мальцева Российской академии наук за монографию «Счетные булевы алгебры и разрешимость» (Новосибирск, Научная книга, 1996)
• 1997 – Почетное звание «Заслуженный ветеран СО РАН»
• 2001 – Почетная грамота Администрации Новосибирской области
• 2003 – «Орден Дружбы» за достигнутые трудовые успехи
• 2007 – Почетная грамота Российской академии наук и Профсоюза работников Российской академии наук за большой вклад в развитие академической науки и производительных сил Сибири, достигнутые успехи в научной и производственной деятельности и в связи с 50-летием Сибирского отделения РАН
• 2008 – Почетное звание «Заслуженный работник высшей школы Российской Федерации»
• 2009 – Почетная Грамота Губернатора Новосибирской области В. А. Толоконского, за значительный вклад в развитие научно-образовательного комплекса Новосибирской области, подготовку высококвалифицированных специалистов для приоритетных направлений науки и экономики, многолетнюю плодотворную научную деятельность и в связи с 50-летием со дня образования университета
• 2010 – Государственная премия Новосибирской области в области науки и образования (за вклад в развитие теории конструктивных моделей и создание научных школ, за цикл работ)
• 2010 – Премия Правительства Российской Федерации в области образования с присвоением звания «Лауреат премии Правительства Российской Федерации в области образования»
• 2015 – Диплом Европейской Научно-промышленной Палаты «Diploma di merito for excepcional professional achievements»
• 2017 – Премия Фонда им. академика М. А. Лаврентьева в номинации «За выдающийся вклад в развитие исследований в области математики, механики и прикладной физики»
• 2020 – Благодарственное письмо Полномочного представителя Президента РФ в Сибирском федеральном округе С. И. Меняйло за добросовестный труд, успехи в развитии науки и инновационной политики Новосибирской области
• 2021 – «Орден Почёта» за большой вклад в развитие науки и многолетнюю добросовестную работу

С 1968 по 1973 годы – студент механико-математического факультета НГУ.

С 1973 года – стажер-исследователь, младший научный сотрудник, старший научный сотрудник, с 1982 года – заведующий лабораторией, с 2004 года – заведующий отделом математической логики, с 29 апреля 2011 года – исполняющий обязанности директора, с 15 мая 2012 года по 24 сентября 2021 года – директор Института математики им. С. Л. Соболева Сибирского отделения РАН.

С 1973 года – ассистент, доцент, с 1983 по 2001 годы – профессор кафедры алгебры и математической логики ММФ, с 2001 года – заведующий кафедрой дискретной математики и информатики ММФ и СУНЦ Новосибирского государственного университета.

В течение трех лет – ответственный секретарь приемной комиссии НГУ, в 1986-1988 годах – председатель экзаменационной комиссии НГУ.

С 1991 по 2005 годы – заместитель директора НИИ математико-информационных основ обучения НГУ (с 1998 – Институт дискретной математики и информатики).

С 1992 по 2001 годы – заведующий кафедрой информатики Специализированного учебно-научного центра НГУ.

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

Гончаров Сергей Савостьянович – крупный ученый, признанный в мире лидер современной математической логики, автор и соавтор более 300 научных работ, в том числе 12 монографий, часть из которых издана на английском языке.

Всемирное признание получили результаты С. С. Гончарова по теории конструктивных и вычислимых моделей. В области классической теории алгоритмов им внесен выдающийся вклад в теорию вычислимых нумераций. В теоретическом программировании вместе с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко разработана теория семантического программирования. С. С. Гончаров и его ученики внесли важный вклад в становление и современное развитие теории конструктивных булевых алгебр. В последние годы С. С. Гончаров совместно с академиком Н. А. Колчановым и его сотрудниками ведет исследования по разработке математических моделей в генетике в рамках интеграционных проектов СО РАН.

Результаты, полученные С. С. Гончаровым, в значительной степени определили современный облик теории конструктивных и разрешимых моделей. С. С. Гончаров является руководителем научной школы по математической логике и теории вычислимости в Новосибирском Академгородке, неоднократно поддержанной грантами Президента РФ для ведущих научных школ.

Наиболее важные результаты получены С. С. Гончаровым в теории алгоритмов и теории моделей. Им построена теория алгоритмической размерности, в основе которой лежит принадлежащий ему фундаментальный результат о существовании неустойчивых моделей конечной алгоритмической размерности, что решает проблему Ю. Л. Ершова из монографии «Проблемы разрешимости и конструктивные модели». С. С. Гончаровым разработаны новые мощные методы доказательства бесконечности алгоритмической размерности, позволившие решить проблему характеризации спектра алгоритмической размерности для ряда конкретных классов моделей и алгебраических систем, исследованы разные типы сводимости и их взаимосвязи. С. С. Гончаров внес крупный вклад в теорию разрешимых моделей, где установлен фундаментальный критерий разрешимости однородных моделей. На основе этого критерия им получено решение проблемы М. Морли о разрешимости однородных моделей с вычислимым семейством реализуемых в них типов и проблемы Перетятькина-Денисова о существовании разрешимых однородных моделей в разрешимых теориях. С. С. Гончаровым развита теория конструктивных булевых алгебр, под его руководством активно разрабатываются проблемы строения групп их автоморфизмов, решеток подалгебр, обогащений идеалами и подалгебрами и другие. Основные результаты по конструктивным булевым алгебрам опубликованы в монографиях «Счетные булевы алгебры» в 1988 году и «Счетные булевы алгебры и разрешимость» в 1996 году, перевод которой вышел на английском языке в 1997 году. С. С. Гончаровым исследованы нильпотентные группы конечной алгоритмической размерности и получена характеризация автоустойчивости нильпотентных групп конечного ранга без кручения, абелевых p-групп. Совместно с учеными из США Р. Шором, Б. Хусаиновым, П. Чолаком в 1995 году получено решение старой проблемы об автоустойчивости конечных константных обогащений автоустойчивых моделей, совместно с Б. Хусаиновым решена проблема двухэлементного спектра с рекурсивной T-степенью. В 2003 году совместно с С. Лемпом и Р. Соломоном описаны автоустойчивые упорядоченные абелевы группы. В 2004-2005 годах с С. А. Бадаевым и А. Сорби решены вопросы о счетности элементарных теорий полурешеток Роджерса в каждом уровне арифметической иерархии и тривиальности пересечения полурешеток Роджерса для различных уровней арифметической иерархии. Совместно с Б. Хусаиновым построены примеры счетно-категоричных и несчетно-категоричных теорий всех уровней арифметической иерархии. В 2004 году совместно с Р. Шором, Дж. Найт и другими американскими логиками исследованы алгоритмические свойства харрисоновых структур и максимальных ветвей в клиниевской системе обозначений. В 2005 году совместно с Дж. Найт, В. Харизановой, Ч. МакКоем и Р. Миллером разработан общий метод построения вычислимых структур с заданными гиперарифметическими свойствами на основе теории вычислимых, арифметических и гиперарифметических нумераций. Решен ряд вопросов о связи определимости и синтаксических свойствах вычислимых моделей. В 2009-2011 годах были исследованы вопросы зависимости автоустойчивости относительно сильных конструктивизаций моделей полных разрешимых теорий, исследованы спектры автоустойчивости относительно сильных конструктивизаций.

В классической теории моделей им решена проблема характеризации аксиом классов с сильными эпиморфизмами и сильными гомоморфизмами, поставленная академиком А. И. Мальцевым на Математическом съезде в 1961 году и опубликованная им в Успехах математических наук. Совместно с американскими математиками В. Харизановой, М. Ласковски, С. Лемпом и Ч. МакКоем установлен новый признак модельной полноты в обогащении константами и получена характеризация сложности аксиом для сильно минимальных теорий с тривиальной предгеометрией, вместе с М. Пурмахдианом получено теоретико-модельное доказательство теоремы Морли о континуальности числа счетных моделей полных теорий, имеющих счетных моделей больше первого несчетного кардинала.

В области классической теории алгоритмов он внес фундаментальный вклад в теорию вычислимых нумераций, им разработан новый метод построения вычислимых нумераций, позволивший решить ряд проблем о числе фридберговых нумераций, о семействах с единственной позитивной нумерацией и другие. Совместно с С. А. Бадаевым в 1996 году решена проблема о семействе с одноэлементной полурешеткой Роджерса, но с нетривиальным включением, в 1996 году им также решена проблема о существовании сильно конструктивных однородных расширений, совместно с итальянским ученым А. Сорби начаты исследования полурешеток Роджерса вычислимых нумераций арифметических множеств. Предложена общая концепция вычислимых нумераций семейств элементов с описаниями на некотором формальном языке, развивающая подход А. И. Мальцева к относительно вычислимым нумерациям. Совместно с А. Сорби, С. А. Бадаевым и учениками решены проблемы типов изоморфизма полурешеток Роджерса для различных уровней арифметической и гиперарифметической нумераций, решены проблемы различных типов и разрешимости элементарных теорий полурешеток Роджерса для различных уровней арифметической и гиперарифметической иерархии. Ещё один цикл работ 2006–2010 годов связан с изучением математических проблем индуктивного синтеза и выполнен совместно с профессором Гейдельбергского университета К. Амбос-Списом и профессором С. А. Бадаевым (Казахстан). Была решена проблема Ф. Штефана об эквивалентности эффективных представлений классов функций, допускающих положительное решение проблемы индуктивного синтеза по частичным данным о них.

В области прикладной математики им совместно с академиком Ю. Л. Ершовым выполнен цикл работ по семантическому программированию, по математическим основам логического языка программирования и языков спецификаций, совместно с академиком РАН Н. А. Колчановым выполнен цикл исследований по информационной биологии в рамках интеграционных проектов СО РАН, результаты которого нашли отражение в сборнике трудов «Системная компьютерная биология» под редакцией Н. А. Колчанова, С. С. Гончарова, В. А. Лихошвая и В. А. Иванисенко.

После избрания в члены-корреспонденты РАН С. С. Гончаровым опубликовано более 100 научных статей в различных российских и зарубежных изданиях, 5 монографий, 2 учебных пособия, являлся редактором 5 сборников трудов. Он также соредактор двух томов трудов по прикладной логике совместно с Д. Габбаем и М. Захарьящевым. В 2008 году вышло 3 монографии в соавторстве с академиком РАО А. А. Никитиным и профессором Б. Н. Дроботуном по проблемам логического образования.

Результаты С. С. Гончарова получили широкое международное признание. С. С. Гончаров выступал с приглашенными пленарными докладами на международных конференциях в США, Германии, Италии, Израиле, Англии, Китае, Сингапуре, Франции, Австрии, Японии, Болгарии, Казахстане и других странах. Так, в 2011 году он является приглашенным пленарным докладчиком на Логической коллоквиуме в Барселоне (Испания) и на международной конференции по теории вычислимости в Сингапуре. В 2012 году был приглашен с пленарным докладом на конференцию в Обервольфахе (Германия) и в Кембридж (Англия) для участия в научных исследованиях в рамках года Тьюринга. В 2002 году С. С. Гончаров был избран действительным членом Европейской Академии Наук, а в 2003 году (по 2006 год) – в Правление Международной профессиональной организации логиков «Association for Symbolic Logic». Отметим, что из советских и российских ученых, в Правление данной ассоциации в разные годы были избраны также А. Н. Колмогоров в 1946 году, Ю. Л. Ершов в 1971 году и Л. Д. Беклемишев в 2009 году. С. С. Гончаров также является членом Американского математического общества «American Mathematical Society».

С. С. Гончаров ведет работу по организации и аттестации научных исследований в качестве члена специализированных советов. Большое внимание С. С. Гончаров уделяет работе с учениками. Под его научным руководством защищено 37 кандидатских и 11 докторских диссертаций. Ряд его учеников был удостоен медалей Минвуза РСФСР, научных премий и наград. Ученики С. С. Гончарова работают в Институте математики СО РАН, НГУ и других вузах России и стран СНГ, в США, Канаде, Австралии, Новой Зеландии, Швеции, Великобритании и Австрии. Его ученик профессор А. С. Морозов удостаивался государственной стипендии выдающимся ученым России.

Список защитивших диссертации под научным руководством академика РАН С. С. Гончарова (см. также).

С. С. Гончаров – руководитель ведущей научной школы по математической логике и теории вычислимости, которая поддерживалась грантами Президента РФ НШ-2112.2003.1 (2003-2005); НШ-4413.2006.1 (2006-2007); НШ-335.2008.1 (2008-2009); НШ-3606.2010.1 (2010-2011); НШ-276.2012.1 (2012-2013); НШ-860.2014.1 (2014-2015); НШ-6848.2016.1 (2016-2017).

Он – руководитель и участник грантов РФФИ №№ 93-01-01506-а (1993-1995); 93-01-16014-а (1993-1995); 96-01-01525 (1996-1998); 96-01-00097-ННИО_а (1996-1998); 99-01-00485 (1999-2001); 01-01-04003-ННИО_а (2001-2003); 02-01-00593-а (2002-2004); 05-01-00819 (2005-2007); 05-01-04003-ННИО_а (2005-2007); 06-01-04002-ННИО_а (2006-2008); 08-01-00336 (2008-2010); 09-01-12140-офи_м (2009-2010); 11-01-00236 (2011-2013); 13-01-91001-АНФ_а (2013-2015); 14-01-00376 (2014-2016); 17-01-00247 (2017-2019); 20-01-00300 (2020-2022);
Грантов Сороса NQ-6000 (1994 г.), NQ-6300 (1995 г.);
Европейского гранта PECO № ERBCIPDCT940615 (1995-1997);
Грантов Национального Научного Фонда США NSF DMS-0554841 (2005-2008); NSF DMS-0075899 (2009-2014, США, Россия, Казахстан);
РФФИ-ИНТАС №№ IR-97-139 (1997-2002), 97-01-71001 (1997-2001); 00-499 (1999-2002);
Гранта Марсдена Новозеландского Королевского общества (2001-2003, 2004-2006) и других.

Был:

• председателем Областного совета научной молодежи
• председателем Совета научной молодежи СО АН СССР
• членом Экспертного Совета ВАК по математике и механике, Экспертного совета РФФИ по математике, Экспертного Совета по стипендиям Президента Российской Федерации для молодых кандидатов и докторов наук и Ведущих научных школ РФ
• членом Ученого совета НГУ
• главным редактором журнала "Вестник НГУ, серия: математика, механика и информатика"
• членом редколлегии сборника "Вычислительные системы"

В настоящее время:

• член бюро Отделения математических наук РАН
• член Президиума СО РАН
• член Национального комитета математиков Российской Федерации
• член Ученых советов ММФ НГУ, СУНЦ НГУ
• председатель Ученого совета ИМ СО РАН
• член Специализированных ученых советов ИМ СО РАН и Сибирского федерального университета
• главный редактор журналов "Математические труды", "Siberian Advances in Mathematics"
• заместитель главного редактора журналов "Алгебра и логика" и "Сибирский математический журнал"
• член редколлегий журналов "Журнал Сибирского федерального университета, серия: Математика и физика", "Известия Иркутского государственного университета, серия: Математика" и периодических сборников "Системная информатика" и "Проблемы информатики"
• заместитель главного редактора серии монографий "Сибирская школа алгебры и логики"
• заместитель председателя Сибирского фонда алгебры и логики
• президент Сибирского математического общества с 2010 года
• член Международного экспертного совета Математического центра в Академгородке

Женат, имеет двух дочерей, внучку и четверых внуков.  
Жена Гончарова Любовь Николаевна – работала врачом-неонатологом.