Сергей Савостьянович Гончаров | |
---|---|
| |
Дата рождения | 24 сентября 1951 (67 лет) |
Место рождения | Новосибирск |
Страна |
|
Научная сфера | теория алгоритмов |
Место работы | Институт математики имени С. Л. Соболева СО РАН |
Альма-матер | НГУ |
Учёная степень | доктор физико-математических наук |
Учёное звание |
профессор (1985), академик РАН (2016) |
Научный руководитель | Ю. Л. Ершов |
Награды и премии |
Премия имени А. И. Мальцева (1997) |
Серге́й Савостья́нович Гончаро́в (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 год — декан Механико-математического факультета НГУ.
Специалист в области теории алгоритмов, теории моделей, алгебры и их приложений в информатике.
Автор более ста научных работ, в том числе:
Участвовал как пленарный докладчик во всероссийских и международных конференциях.
Под его руководством защищено 31 кандидатская и 9 докторских диссертаций.
В 2004 году — избран членом Правления международной профессиональной организации «Association for Symbolic Logic».
Председательствовал в Областном Совете Научной молодежи, был кандидатом в члены ЦК ВЛКСМ, членом различных учёных советов.
Ведет работу по организации и аттестации научных исследований в качестве члена специализированных советов, члена Экспертных Советов ВАК РФ и МОиН РФ по президентским грантам ведущих научных школ, молодых докторов и кандидатов наук.
Член редколлегий Сибирского математического журнала, Siberian Advances in Mathematics, сборников «Вычислительные системы» и «Проблемы специализированного образования».
Заместитель главного редактора журнала Алгебра и логика и серии монографий «Сибирская школа алгебры и логики», главный редактор журнала «Вестник НГУ, серия математика, механика и информатика» и др.
Заместитель председателя Сибирского фонда алгебры и логики.
Член президиума СО РАН.
Член бюро Отделения математических наук РАН.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .