Родился 17.09.1967 Член экспертного совета ВАК, член диссертационных советов в МИАН, МГУ и НИУ ВШЭ, член редколлегии журналов «Известия РАН, сер. мат.» и «Archive for Mathematical Logic». Профессор механико-математического факультета МГУ и математического факультета НИУ ВШЭ. Член правления Московского математического общества. Премия Московского математического общества для молодых ученых, 1994 г. Член-корреспондент РАН c 25.05.2006 - Отделение математических наук (Математика) Академик РАН c 15.11.2019 - Отделение математических наук (Математика)