Академик РАН
Отделение математических наук. Секция математики.
Профессор, советник РАН, признанный лидер сибирской школы алгебры и логики.
Награды и звания:
- В 1992 году награжден премией имени А. И. Мальцева РАН — за монографию «Теория нумераций»
- В 2000 году награждён орденом «За заслуги перед Отечеством» IV степени
- В 2003 году получил Государственную премию Российской Федерации в области науки и техники 2002 года за монографию «Кратно нормированные поля»
- В 2010 году награждён орденом «За заслуги перед Отечеством» III степени
- В 2010 году стал лауреатом премии Правительства Российской Федерации в области образования за цикл трудов «Концепция формирования логико-математического образования в высшей школе»
- В 2013 году получил Демидовскую премию за выдающиеся заслуги в развитии математической логики
Страницы в интернете: