Родился 24.09.1951, Новосибирск Заведующий кафедрой Дискретной математики и информатики механико-математического факультета Новосибирского государственного университета. Руководитель научных семинаров в НГУ и ИМ СО РАН. Под его научным руководством защищено 35 кандидатских и 9 докторских диссертаций. Главный редактор журнала «Сибирский журнал чистой и прикладной математики»; зам. главного редактора журналов «Алгебра и логика» и «Сибирский математический журнал»; член редколлегий журналов «Математические труды», «Siberian Advances in Mathematics», «Проблемы специализированного образования», «Сибирского федерального университета, серия: математика и физика»; периодического сборника «Системная информатика». Эксперт РФФИ по математике, эксперт Совета по грантам Президента по ведущим научным школам, молодым докторам и кандидатам наук. Член Правления международной профессиональной научной организации логиков «Ассоциация символической логики» (ASL) и Американского математического общества (AMS), президент Сибирского математического общества. 1997 г.– почетное звание «Заслуженный ветеран СО РАН». 2008 г. ‒ почетное звание «Заслуженный работник высшей школы Российской Федерации». 2003 г. – «Орден Дружбы» за достигнутые трудовые успехи. 1987 г. – премия СО АН СССР за создание теории семантического программирования совместно с академиком Ю.Л.Ершовым и д.ф.-м.н. Д.И. Свириденко. 2010 г. ‒ Государственная премия Новосибирской области (За вклад в развитие теории конструктивных моделей и создание научных школ, за цикл работ.) 2010 г. ‒ Премия Правительства Российской Федерации в области образования. 2015 г. ‒ диплом Европейской Научно-промышленной Палаты «Diploma di merito for excepcional professional achievements». 2017 г. – Премия Фонда им. академика М.А. Лаврентьева в номинации «За выдающийся вклад в развитие исследований в области математики, механики и прикладной физики». Профессор - Кафедра алгебры и математической логики Новосибирского государственного университета Член-корреспондент c 30.05.1997 - Отделение математики (математика) Член Бюро c 30.05.2013 - Отделение математических наук РАН (Бюро) Академик РАН c 28.10.2016 - Отделение математических наук (математика, в том числе математическая логика и теория алгоритмов) Награды   Именная премия, РАН Премия имени А.И. Мальцева Награжден 1997 за монографию "Счетные булевы алгебры и разрешимость" Удостоен Премии Ленинского комсомола в области науки и техники за цикл работ по конструктивным булевым алгебрам. (1976)