Заведующий сектором компьютерной логики и информационных процессов Института проблем передачи информации РАН; родился 17 декабря 1945 г. в г. Иркутске; окончил механико-математический факультет МГУ, аспирантуру МГУ, доктор физико-математических наук, доцент, профессор; по совместительству работает профессором кафедры математической логики механико-математического факультета МГУ им. М. В. Ломоносова, деканом факультета математики и информатики, заведующим кафедрой информатики и алгебры Государственной академии им. Маймонида; опубликовал 75 научных работ; основные направления научной работы: алгоритмические модели интеллектуальных процессов и процессов биохимии клетки, классическая и интуиционистская теории моделей, теорий доказательств, теория пучков колец и алгебраических систем, нестандартный анализ, булевозначный и гейтинговозначный анализы, дескриптивная теория множеств.