А. A. Markov Laboratory for Computer Science,
Mathematics and Artificial Intelligence
Department of Mathematics and Computer Science
Saint Petersburg State University
Advancing the mathematical and algorithmic foundations of AI
Founded in 2025 at Saint Petersburg University, the laboratory brings together leading researchers, PhD students, and students from the Department of Mathematics and Computer Science.
We believe that breakthroughs in artificial intelligence are impossible without strong mathematics and computer science. That is why we develop these fields in close integration, with the goal of building a distinctive scientific school.
We strive for the steady, deliberate progress toward breakthrough results of global significance, the ones recognized by the research community and distinguished by originality, elegance, and academic rigour.
Research areas
Machine Learning
New architectures and methods for deep learning, compact models, neuro-symbolic integration.
Math and AI
Learning theory, optimization, automation of reasoning and proof construction
Algorithms, Theoretical Computer Science
Search and planning algorithms, algorithmic complexity
Applied AI
Applying AI methods to real scientific and industrial problems together with our partners.
Explore
Contacts
7-9-11B Universitetskaya Embankment, Saint Petersburg, Russia
Department of Mathematics and Computer Science, Saint Petersburg University
