• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Laboratory of Theoretical Computer Science

2

January 31, 2019

In January, the laboratory of theoretical computer science planned to hold two seminars. Ivan Arzhantsev spoke at the first seminar. At the second seminar, our colleague from Nizhny Novgorod, Dmitry Sirotkin, spoke about his results.

February 12, 2018

Researchers from the HSE Laboratory of Theoretical Computer Science have won a competition organized by the Russian Foundation for Basic Research (RFBR) and the Royal Society of London for Improving Natural Knowledge.
Publications
Book
Special Issue on Computer Science Symposium in Russia

Edited by: Ф. В. Фомин, V. V. Podolskii.

Vol. 64. Iss. 1. Springer, 2020.

Article
Using an extension of CTL* for specification and verification of sequential reactive systems

Gnatenko A., Zakharov V.

Системная информатика. 2020. Vol. 17. P. 21-32.

Book chapter
QCSP monsters and the demise of the Chen Conjecture

Zhuk D., Martin B.

In bk.: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery (ACM), 2020. P. 91-104.

Working paper
A family of non-periodic tilings of the plane by right golden triangles

Vereshchagin N.

arxiv.org. math. Cornell University, 2020

About the Laboratory

The Laboratory  of Theoretical Computer Science  was founded in December 2015. Structurally, it is a part of Big Data and Information Retrieval School at the Faculty of Computer Science.

The main research directions of the laboratory are computational complexity, algorithmic information theory, algorithmic statistics, combinatorial optimization, algorithmic aspects of game theory.