Research

The Faculty is active in many research areas including theoretical computer science, algorithms for big data processing, optimization techniques, machine learning, computer vision, software engineering, and bioinformatics. Our researchers publish papers in leading computer science journals and present their results at major conferences.

Selected Publications of the Faculty

Selected Publications of Students

Research Digest

Research Committee

International laboratories

Centre of Deep Learning and Bayesian Methods

International Laboratory for Intelligent Systems and Structural Analysis

International Laboratory of Theoretical Computer Science

International Laboratory of Stochastic Algorithms and High-Dimensional Inference

International Laboratory of Algebraic Topology and Its Applications

International Laboratory of Bioinformatics

Laboratories

Yandex Laboratory

Laboratory of Methods for Big Data Analysis (LAMBDA)

Laboratory of Complex Systems Modelling and Control

Laboratory of Models and Methods of Computational Pragmatics

Laboratory of Process-Aware Information Systems (PAIS Lab)

Laboratory on AI for Computational Biology

Laboratory on Algebraic Transformation Groups

Laboratory for Matrix and Tensor Methods in Machine Learning

Laboratory of Cloud and Mobile Technologies

Project Laboratory on Artificial Intelligence in Mathematical Finance

Russian Science Foundation grants

Ivan Arzhantsev

Laboratory Head

Studies on affine spaces and related objects through algebraic group actions and locally nilpotent derivations

Ivan Arzhantsev

Laboratory Head

Gorenstein algebras and additive actions on hypersurfaces

Sergei Kuznetsov

Laboratory Head

Semantic technologies and machine learning for monitoring, prediction, verification and control of data-streaming reactive systems

Viktor Lopatkin

Associate Professor

Cohomology of Conformal Algebras

Ilya Makarov

Senior Research Fellow

Network Representation Learning for Graph Machine Learning

Alexander Perepechko

Senior Research Fellow

Flexible varieties, unipotent subgroups, and computational methods

Maxim Rakhuba

Senior Research Fellow

Adaptive tensor methods for partial differential equations

Anton Shafarevich

Research Fellow

Equivariant compactifications of a vector group with a finite number of orbits

Alexey Ustinov

Professor

Diophantine approximation, arithmetic sequences and analytic number theory

Yakov Veryovkin

Research Fellow

Toric topology and geometric group theory

Nikolay Vereshchagin

Laboratory Head

Complexity problems in theoretical computer science

Completed grants

Roman Avdeev

Associate Professor

Combinatorial invariants of spherical homogeneous spaces (2018–20)

Anton Ayzenberg

Laboratory Head

Torus actions of complexity one and diagonalisation of periodic matrices (2018–20)

Ivan Arzhantsev

Laboratory Head

Additive actions on complete algebraic varieties and their generalizations (2019–21)

Denis Derkach

Associate Professor

New Physics Search in LHCb using Deep Learning Techniques

Sergey Gayfullin

Senior Research Fellow

Orbits of regular automorphism group of a G-variety

Dmitry Ilvovsky

Associate Professor

Linguistic Linked Open Data Cloud for Languages of Russia: Models, Methods, Applications

Sergei Kuznetsov

School Head

Knowledge representation, discovery, and processing: a logic-based approach (2017-19)

Ivan Limonchenko

Laboratory Head

Polyhedral products in topology, geometry and combinatorics

Alexey Naumov

Laboratory Head

Analysis of high-dimensional random objects with applications to large-scale data processing (2018-20)

Alexey Naumov

Laboratory Head

Applications of probabilistic artificial neural generative models to development of digital twin technology for non-linear stochastic systems

Yurii Nesterov

Algorithmic optimization for problems with large number of variables (2017–19)

Anton Osokin

Assistant Professor

Neural-network algorithms for one-shot object detection (2019–21)

Sasha Shapoval

Leading Research Fellow

Non-stationarity and fractality of dynamics in the evolution of complex systems: applications to physics of the Earth and the Sun

Dmitry Vetrov

Head of the Centre of Deep Learning and Bayesian Methods

Deep Bayesian Methods in Machine Learning, Scalable Optimization and Computer Vision Problems (2017–20)