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

Dean — Ivan Arzhantsev

 

First Deputy Dean— Tamara Voznesenskaya

 

Deputy Dean for Research and International Relations - Sergei Obiedkov

 

Deputy Dean for finance and administration - Irina Gergart

 

Dean's office
 

Phone: +7 (495) 772-95-90 * 12332

computerscience@hse.ru

Moscow, 3 Kochnovsky Proezd (near metro station 'Aeroport'). 

Article
Algorithmic Statistics: Forty Years Later.

Vereshchagin N., Shen A.

Lecture Notes in Computer Science. 2017. Vol. 10010. P. 669-737.

Article
Grunbaum coloring and its generalization to arbitrary dimension

M.N.Vyalyi, Lawrencenko S., Zgonnik L.

Australasian Journal of Combinatorics. 2017. Vol. 67. No. 2. P. 119-130.

Article
Dualization in lattices given by ordered sets of irreducibles

Babin M. A., Kuznetsov S. O.

Theoretical Computer Science. 2017. Vol. Volume 658, Part B. No. 7 January. P. 316-326.

Article
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Vladislav Podymov.

Fundamenta Informaticae. 2016. Vol. 147. No. 2-3. P. 315-336.

News

Collaboration with Samsung Opens New Perspectives for the Laboratory and the Faculty

Dmitry Vetrov, head of the laboratory, held a meeting with Mr. Shi-Hwa Lee, a Vice-President of Samsung, a company the laboratory collaborates with. Interim research results, internship possibilities and collaboration perspectives were discussed.

HSE Signed Partnership Agreement with Ghent University

Students and doctoral students of the HSE Faculty of Computer Science will have the opportunity to take part in exchange and double degree programmes.

HSE Signs Cooperation Agreement with Université Grenoble Alpes

The Higher School of Economics and Université Grenoble Alpes (Grenoble Alpes University) have signed a cooperation agreement, initiated by HSE Faculty of Computer Science. Under the agreement the universities will organize academic exchange programmes, research and educational activities, and joint research projects.

Conference & School ‘Information Technology and Systems 2015’ Took Place in Sochi

The 39th interdisciplinary school and conference ‘Information Technology and Systems 2015’ (ITaS 2015), organized by the Kharkevich Institute for Information Transmission Problems (IITP RAS) with the participation of HSE, took place in Sochi from September 7–11, 2015.

School of Software Engineering Takes Part in the Creation of Vietnamese-Russian Technological University

The Vietnam-Russia academic conference that took place in Hanoi in April decided to establish a Vietnamese-Russian Technological University (VRTU) on the basis of the Le Quy Don University of Science and Technology. HSE’s School of Software Engineering is to play a key role in this process.

School of Data Analysis and Artificial Intelligence Join the Association for Symbolic Logic

Institutional cooperation between the Association and the Department has been expanded with the participation of three students who wrote their term and graduation papers under the supervision of the Department’s lecturers in the following fields:  Boolean and many-valued logics; Functional expressibility in closed classes; Blueprint trees and building a decision-making system in 3D shooters, based on deduction rules.