Гончаров Сергей Севостьянович

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