Новости

Веб-почта

Ссылки

Карта сайта
Д.ф.-м.н., чл.-корр., директор ИМ СО РАН Гончаров Сергей Савостьянович

Адрес:
630090, Новосибирск-90,
пр. Академика Коптюга, 4,
Институт математики им. С. Л. Соболева

Контактный телефон:
(383) 333-28-92

Факс:
(383) 333-25-98

Электронная почта:
gonchar@math.nsc.ru

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

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

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

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

Награды

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

1968-1973 - студент ММФ НГУ.

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

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

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

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

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

С февраля 1996 по 04 мая 2011 года декан ММФ НГУ.

Научные достижения

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

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

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

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

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

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

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

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

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

С. С. Гончаров ведет работу по организации и аттестации научных исследований в качестве члена специализированных советов. Большое внимание С. С. Гончаров уделяет работе с учениками. Среди его учеников 31 кандидат и 9 докторов наук. Ряд его учеников был удостоен медалей Минвуза РСФСР, премий и научных званий. Ученики С. С. Гончарова работают в Институте математики СО РАН, НГУ и других вузах России и стран СНГ, в США, Канаде, Австралии, Новой Зеландии, Швеции и Австрии. Его ученик профессор А. С. Морозов удостаивался государственной стипендии выдающимся ученым России. С. С. Гончаров  – руководитель ведущей научной школы РФ, руководитель и участник российских и международных грантов РФФИ, ИНТАС, ННФ США, ННФ Китая, Королевского научного Общества Новой Зеландии и других. Научная школа по математической логике и теории вычислимости под его руководством поддерживалась (и поддерживается) грантами Президента РФ в НШ-2112.2003.1 (2003-2005); НШ-4413.2006.1 (2006-2007); НШ-335.2008.1 (2008-2010); НШ-3606.2010.1 (2010-2011).

Он – руководитель и участник грантов РФФИ: № 93-01-01506-а (1993-1995); № 93-01-16014-а (1993-1995); № 96-01-01525 (1996-1998); № 99-01-00485 (1999-2001); № 05-01-00819 (2005-2007); № 96-01-00097-ННИО_а (1996-1998); № 02-01-00593-а (2002-2004); № 08-01-00336 (2008-2010); № 09-01-12140-офи_м (2009-2010); РФФИ-DEG № 01-01-04003-ННИО_а (2001-2003); № 05-01-04003-ННИО_а (2005-2007); РФФИ-DFG № 06-01-04002-ННИО_а (2006-2008);
Гранты Сороса 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 г.
  • Член Экспертного Совета по стипендиям Президента Российской Федерации для молодых кандидатов и докторов наук и Ведущих научных школ РФ.

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

Семья

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

 


  © Учреждение Российской академии наук Институт математики им. С. Л. Соболева Сибирского отделения РАН, 2009

 
пр. ак. Коптюга, 4, 630090, г. Новосибирск, Россия
Приемная: (383) 333-28-92; Канцелярия: (383) 333-27-93
Бухгалтерия: (383) 333-09-96; Отдел кадров: (383) 333-25-93
Факс: (383) 333-25-98; e-mail: im@math.nsc.ru