Vladimir Nickolayevich KRUPSKI (Kroupski)

Associate Professor
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.