Career
He is currently a professor of mathematical logic at the University of Oxford. He obtained his doctorate (Candidate of Sciences) from the Novosibirsk State University in 1975 under the supervision of Mikhail Taitslin and his habilitation (Doctor of Sciences) from the Saint St. Petersburg State University in 1986.
