En 1997 fue seleccionando para la Academia rusa de las Ciencias. Actualmente dirige el Laboratorio de Lógica Matemática en LOMI, el cual se conoce como el Departamento de Petersburgo del Instituto de Matemáticas de Steklov de la Academia Rusa de las Ciencias, o el PDMI RAS.