Родился 17 декабря 1945 в Иркутске. Работает в Институт проблем передачи информации РАН, заведующий сектором "Компьютерной логики и информационных процессов"; (по совместительству) профессор кафедры математической логики тмеханико-математического факультета Московского Государственного университета им. Ломоносова; (по совместительству) декан факультета математики и информатики, заведующий кафедрой информатики и алгебры Государственной академии им.Маймонида. Кандидат физико-математических наук (1971, по специальности "математическая логика, алгебра и теория чисел"); доктор физико-математических наук (1991, по специальностям "математическая логика, алгебра и теория чисел" и "теоретические основы информатики"); доцент (1978) по кафедре математики; профессор (1995) по кафедре алгебры и математической логики. Научный руководитель 7 кандидатских и научный консультант 3 докторских защищенных диссертаций. Опубликовал 75 научных работ. Окончил механико-математический факультет МГУ (по кафедре математической логики), затем аспирантуру МГУ. Научная область: Алгоритмические (компьютерные) модели интеллектуальных процессов и процессов биохимии клетки (регуляции экспрессии генов). Разрешимые в реальном времени теории. Классическая и интуиционистская (эффективная) теории моделей, теория доказательств. Теория пучков колец и алгебраических систем. Нестандартный анализ, булевозначный и гейтинговозначный анализы. Дескриптивная теория множеств.