#
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.

**Email: **