11, Pokrovsky boulevard.
Phone: +7 (495) 531-00-00 *27254
Ahidar-Coutrix A., Le Gouic T., Paris Q.
Probability Theory and Related Fields. 2019.
M. Borisyak, N. Kazeev.
Journal of Instrumentation. 2019. Vol. 14. No. 08. P. 1-8.
Frolov D., Nascimento S., Fenner T. et al.
Information Sciences. 2020. Vol. 512. P. 595-615.
Vetrov D., Izmailov P., Maddox W. J. et al.
In bk.: Proceedings of the 35th Uncertainty in Artificial Intelligence Conference (UAI-2019). 2019. P. 1-11.
In bk.: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019). IEEE, 2019. Ch. 36. P. 1-9.
The faculty trains developers and researchers. The programme has been created based on the experience of leading American and European universities, such as Stanford University (U.S.) and EPFL (Switzerland). Also taken into consideration when creating the faculty was the School of Data Analysis, which is one of the strongest postgraduate schools in the field of computer science in Russia. The wide range of elective courses will allow each student to create his or her own educational path. In the faculty, learning is based on practice and projects.
On July 13th-17th 2015, the 10th International Computer Science Symposium in Russia took place. The largest conference on theoretical informatics in Russia was organized by Irkutsk State University, the Higher School of Economics and Yandex. Vladimir Podolskii, Associate Professor at the Big Data and Information Retrieval School took part in the event as guest speaker. Maxim Babenko, Head of the Joint Department with Yandex also delivered a report during the event. Renowned specialists in computer science Moshe Vardi and Samuel Buss presented reports at the conference and later at Yandex and the Steklov Institute of Mathematics in Moscow.
Lev Beklemishev, Professor at the Joint department with the Steklov Institute of Mathematics chaired the CSR Programme Committee. Nikolay Vereshchagin, Professor at the Faculty of Mathematics, Sergei Kuznetsov, professor at the School of Data Analysis and Artificial Intelligence and Mikhail Zakharyaschev, Visiting Professor at the School of Data Analysis and Artificial Intelligence were members of the Programme Committee.
Traditionally, the conference is held in different Russian cities. The event has been held several times in Saint Petersburg, Moscow, Novosibirsk, Kazan and Nizhny Novgorod. This year, the tenth symposium took place in the picturesque village of Listvyanka on the shores of Lake Baikal.
The next conference, CSR 2016, will be held on June 9th-13th 2016 in Saint Petersburg. The Special Semester on Computational and Proof Complexity, organized by the Chebyshev Laboratory, will also take place at the same time in the city.