of the Department of Mathematical Logic and Theory of Algorithms

- mathematical logic,
- recursion theory,
- algorithmic problems of algebra,
- proof theory,
- logical problems in computer science,
- constructive logic,
- modal logic,
- computaional complexity,
- Kolmogorov complexity,
- computational logic.

Location: `http://lpcs.math.msu.su/eng/research.htm`

Last modified 11.12.2008.