• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Book chapter
Complexity of reasoning in Kleene algebra with sum-of-letters hypotheses

Stepan L. Kuznetsov.

In bk.: Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689). Vol. 16689. Cham: Springer, 2026. P. 161-177.

Working paper
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Elvimov N. S.

Statistical mechanics. arXie. arXive, 2025

Tag "achievements" – News

Speed, Precision, and Self-Correction: HSE Faculty of Computer Science Researchers at ICML-2026

Mishan Aliev, Oleg Desheulin, Denis Rakitin, Anna Karpova
Researchers from the HSE Faculty of Computer Science (FCS) presented their work at theInternational Conference on Machine Learning (ICML 2026) in Seoul, South Korea, one of the leading scientific events in the field. Several projects by the faculty’s researchers received the prestigious Spotlight distinction.

Attila Kertes-Farkas received the best award for his presentation at IMLC 2023 conference

Attila Kertes-Farkas received the best award for his presentation at IMLC 2023 conference
The head of AIC Laboratory, Attila Kertes-Farkas, was awarded for the best presentation at the ICMLC 2023 conference.

Attila Kertesz-Farkas successfully defended Doctoral Thesis

Attila Kertesz-Farkas successfully defended Doctoral Thesis
On May 19th, 2022, Attila Kertesz-Farkas defended the doctoral thesis.

Winners of the International Data Analysis Olympiad (IDAO) Announced

Winners of the International Data Analysis Olympiad (IDAO) Announced
The Faculty of Computer Science at HSE University, Yandex, and this year’s platinum partner, Otkritie Bank, held the International Data Analysis Olympiad (IDAO) for the fourth time.  This year’s first-place winner was the ‘random team’, Ilya Kornakov and Kirill Borozdin, from Switzerland. Second and third places went to the Russian teams ‘Mylene Farmer’ (Vasiliy Rubtsov, Anvar Kurmukov) and ‘Shizika’ (Dmitry Simakov, Nikita Churkin).

Two HSE University Teams to Compete in ICPC Finals

Two HSE University Teams to Compete in ICPC Finals
Students from both HSE Moscow and HSE St. Petersburg have made it to the finals of the ICPC-2020 World Programming Championship. They were among the best teams at the semi-finals stage of the championship, which took place last weekend in St. Petersburg.