Публикуем! | ||||
Титулы и награды 1997май30 Член-корреспондент по Отделению математики (математика) 2008 Академик РАН Работа 1969Санкт-Петербургское Отделение Математического Института им. В.А.Стеклова РАН (ЛОМИ) аспирант, научный сотрудник, старший научный сотрудник, заведующий лабораторией математической логики Расположение Группа has-activity Специалист в области математической логики, теории алгоритмов, дискретной математики. |