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.