English version

Сергей Савостьянович Гончаров
член-корреспондент РАН,
профессор, декан ММФ НГУ,
зав. отделом математической логики ИМ СОРАН, зам.дир. ИДМИ МОиН РФ
e-mail:
сл.тел.: (383)333-28-94, 330-32-37, 330-07-12(д.)

Список публикаций
Список трудов, где С.С.Гончаров являлся редактором этих публикаций.

 

Автобиографическая справка

Сергей Савостьянович Гончаров родился 24.09.1951 г. в г. Новосибирске.

ОБРАЗОВАНИЕ. УЧЕНЫЕ СТЕПЕНИ, ЗВАНИЯ, ЧЛЕНСТВО В АКАДЕМИЯХ:

1973 г.- окончил с отличием ММФ НГУ.
1974 г.- защитил кандидатскую диссертацию "Конструктивные булевы алгебры".
1976 г.- премия Ленинского комсомола в области науки и техники за цикл работ по конструктивным булевым алгебрам.
1977 г. - звание доцента НГУ.
1981 г. - защитил докторскую диссертацию "Неавтоэквивалентные конструктивизации".
1982 г. - Серебрянный знак семинара Алгебры и логики за научную активную работу.
1983 г. - премия СОРАН за создание теории семантического программирования совместно с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко.
1985 г. - звание профессора НГУ.
1991 г. - учредитель(выборщик) Российской Академии Наук.
1993 г. - избран член-корреспондентом Академии Наук Высшей Школы.
1995 г. - избран действительным членом Международной Академии Наук Высшей Школы.
1997 г. - избран член-корреспондентом Российской Академии Наук.
1997 г. - премия академика А.И.Мальцева Российской Академии Наук.
2002 г. - избран действительным членом  Европейской Академии Наук.
2003 г.
- награжден Орденом Дружбы.
2004 г.
- избран членом Правления международной профессиональной организации "Association for Symbolic Logic".
2008 г.
 - Почетное звание «Заслуженный работник высшей школы Российской Федерации».
2009 г.
- Почетная Грамота губернатора Новосибирской области В. А. Толоконского, за значительный вклад в развитие научно-образовательного комплекса Новосибирской области, подготовку высококвалифицированных специалистов для приоритетных направлений науки и экономики, многолетнюю плодотворную научную деятельность и в связи с 50-летием со дня образования университета.
2010 г.
 - Лауреат государственной премии Новосибирской области в области науки и образования. (За вклад в развитие теории конструктивных моделей и создание научных школ, за цикл работ.)
2010 г.
- Премия Правительства Российской Федерации в области образования и присвоение звания «Лауреат премии Правительства Российской Федерации в области образования».

ТРУДОВАЯ ДЕЯТЕЛЬНОСТЬ:

1968 - 1973 гг. - студент ММФ НГУ.
1973 - н/вр. - стажер исследователь, м.н.с., с.н.с. и с 1992 года заведующий лабораторией ИМ СОРАН.
1973 - 2003 гг. - ассистент, доцент, с 1983 года профессор кафедры Алгебры и логики НГУ.

В течение трех лет был Ответственным секретарем Приемной комиссии НГУ, с 1986 по 1988 год Председателем Экзаменационной комиссии НГУ по математике, с 1993 по 1998 год  был научным руководителем Областного центра Новых информационных технологий.
1991 - н/вр. - заместитель директора Института дискретной математи и информатики МО РФ.
1992 - н/вр. - заведующий кафедрой и профессор кафедры дискретной математики и информатики ММФ и СУНЦ НГУ.
С февраля 1996 г. -н/вр. - декан ММФ НГУ.

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

НАУЧНЫЕ ДОСТИЖЕНИЯ:

С.С.Гончаров - известный специалист в области теории алгоритмов, теории моделей, алгебры и их приложений в информатике. Он внес крупный вклад в разные разделы алгебры, логики и информатики, где им получены выдающиеся результаты, принесшие ему международное признание. Им опубликовано более ста научных работ, из них два учебных пособия "Lectures in model theory" и "Введение в логику и методологию науки" (подготовленное совместно с Ю.Л.Ершовым и К.Ф.Самохваловым), монографии "Счетные булевы алгебры" (1988 г.) и "Счетные булевы алгебры и разрешимость" (1996 г., и на английском языке - 1997 год), "Конструктивные модели" (1999, совместно с Ю.Л.Ершовым ) и "Handbook of recursive mathenatics" (1999, под редакцией С.С.Гончарова, Ю.Л.Ершова,  A.Nerode, J.Remmel, V.Marek).
Наиболее важные результаты получены С.С.Гончаровым в теории алгоритмов и теории моделей. Им построена теория алгоритмической размерности, в основе которой лежит принадлежащий ему фундаментальный результат о существовании неустойчивых моделей конечной алгоритмической размерности. С.С.Гончаровым разработаны новые мощные методы доказательства бесконечности алгоритмической размерности, позволившие решить проблему характеризации спектра алгоритмической размерности для ряда конкретных классов моделей и алгебраических систем, исследованы разные типы сводимости и их взаимосвязи.
С.С. Гончаровым внесен крупный вклад в теорию разрешимых моделей, где установлен фундаментальный критерий разрешимости однородных моделей. На основе этого критерия им получено решение проблемы М.Морли и проблемы Перетятькина - Денисова. Им решена проблема характеризации аксиом классов с сильными эпиморфизмами и сильными гомоморфизмами, поставленная академиком А.И.Мальцевым в 1961 году. С.С.Гончаровым развита теория конструктивных булевых алгебр. В настоящее время под его руководством активно разрабатываются проблемы строения групп их автоморфизмов, решеток подалгебр, обогащений идеалами и подалгебрами и другие. С.С.Гончаровым исследованы нильпотентные группы конечной алгоритмической размерности и получена характеризация автоустойчивости нильпотентных групп конечного ранга без кручения, абелевых р-групп. В области классической теории алгоритмов он внес фундаментальный вклад в теорию вычислимых нумераций, им разработан новый метод построения вычислимых нумераций, позволивший решить ряд проблем о числе нумераций Фридберга, о семействах с единственной позитивной и другие. Совместно с учеными из США Р.Шором, Б.Хусаиновым, П.Чолаком в 1995 году получено решение старой проблемы об автоустойчивости конечных константных обогащений автоустойчивых моделей, совместно с Б.Хусаиновым решена проблема двухэлементного спектра с рекурсивной Т-степенью, совместно с С.А.Бадаевым в 1996 году решена проблема о семействе с одноэлементной полурешеткой Роджерса, но с нетривиальным включением, в 1996 году им так же решена проблема о существовании сильно конструктивных однородных расширений и совместно с итальянским логиком А.Сорби исследована полурешетка Роджерса вычислимых нумераций арифметических множеств. Цикл работ выполнен С.С.Гончаровым по проблемам определимости в вычислимых моделях и вычислимым классом совместно с американскими исследователями Дж. Найт, Р.Шором, С.Лемпом, Д.Хиршвилдтом, В.Харизановой, Ч.МакКоем, Р.Соломоном, опубликованным в последние годы, в которых решен ряд принципиальных проблем в теории вычислимых моделей и теории вычислимости. Ведутся совместные исследования с новозеландскими учеными Р.Доуни, Б.Хусаиновым.
С.С.Гончаров ведет работу по организации и аттестации научных исследований в качестве члена специализированных советов, члена Экспертных Советов ВАК РФ и МОиН РФ по президентским грантам ведущих научных школ, молодых докторов и кандидатов наук. Большое внимание С.С.Гончаров уделяет работе с учениками. Среди его учеников 23 кандидата и 7 докторов наук. Ряд его учеников были удостоены медалей Минвуза РСФСР, премий и научных званий. Его ученики работают в Институте математики, НГУ и других вузах России и стран СНГ, в США, Австралии, Новой Зеландии, Швеции.
Он неоднократно выезжал в университеты США, Австралии, Ирана, Италии и других стран для чтения лекций и совместной научной работы. Он являлся руководителем научных коллективов по грантам РФФИ, МНФ, РФФИ-ННИО и ЕС РЕСО. С.С.Гончаров неоднократно приглашался с пленарными докладами на всероссийские и международные конференции. Так только в 1996 году он был приглашенным пленарным докладчиком на международных конференциях в Германии, Англии, Испании, Израиле, на семинаре памяти А.Г.Куроша и на Международном Конгрессе ЮНЕСКО. В 1997 году он приглашен в качестве пленарного докладчика на Логический коллоквиум в Лидсе (Англия). С.С.Гончаров являлся неоднократно членом програмных комитетов всесоюзных и международных конференций. В 1997 году он является со-председателем Международной конференции по теории рекурсии в Казани и членом программного комитета конференции LFCS-97. В 2002 году приглашенные часовые доклады на Конгрессе математиков США в Сан-Диего, на 8 Азиатской конференции по логике, сателитной конференции Международного математического конгресса 2002 в Чунцине (Китай), на международной конференции ИНТАС  "Модели и вычислимость" в Алма-ата (Казахстан) и в 2004 году в Сиене (Италия), на конференции по математической логике в Новой Зеландии в 2004 году. Председатель Программного комитета 9-й Азиатской конференции 2005 года по логике в г. Новосибирске. Приглашенный пленарный докладчик в 2005 году на Логическом Коллоквиуме в Греции.

ОБЩЕСТВЕННАЯ ЖИЗНЬ:

Был Председателем Областного Совета Научной молодежи и Председателем Совета Научной молодежи СОРАН, кандидатом в члены ЦК ВЛКСМ, Член Ученых Советов ИМ СОРАН, НГУ, СУНЦ НГУ, председатель Ученого Совета ММФ НГУ, член Специализированных Ученых Советов НГУ, ИМ СОРАН, ВЦ СОРАН. Член редколлегий Сибирского математического журнала, Siberian Advances in Mathematics, сборников "Вычислительные системы" и "Проблемы специализированного образования", зам. главного редактора журнала Алгебра и логика и серии монографий "Сибирская школа алгебры и логики", главный редактор журнала "Вестник НГУ, серия математика, механика и информатика" и др. Зам. председателя Сибирского фонда алгебры и логики .

УВЛЕЧЕНИЯ: Большой тенис, баня, внуки.

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