Yaroslav Alekseev
Research Engineer at Chebyshev Laboratory at St. Petersburg State University
Research interests:
Proof complexity, Computational complexity, Communication complexity.

Last updated: 14.03.2022