Vladimir Nickolayevich KRUPSKI (Kroupski)
Department of Mathematical Logic and the Theory of Algorithms
Laboratory of Logical Problems in CS
Faculty of Mechanics and Mathematics
Moscow State University
Scientific interests: mathematical logic, logic in computer science,
proof theory, proof logics, unification, Kolmogorov complexity, constructive
mathematics, computational logic, PRL projects.