Заведующий сектором компьютерной логики и информационных процессов Института проблем передачи информации РАН.

Родился 17 декабря 1945 г. в г. Иркутске.

Окончил механико-математический факультет МГУ, аспирантуру МГУ, доктор физико-математических наук, доцент, профессор.

По совместительству работает профессором кафедры математической логики механико-математического факультета МГУ им. М.В. Ломоносова, деканом факультета математики и информатики, заведующим кафедрой информатики и алгебры Государственной академии им. Маймонида.

Опубликовал 75 научных работ.

Основные направления научной работы: алгоритмические модели интеллектуальных процессов и процессов биохимии клетки, классическая и интуиционистская теории моделей, теорий доказательств, теория пучков колец и алгебраических систем, нестандартный анализ, булевозначный и гейтинговозначный анализы, дескриптивная теория множеств..