• 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

News

Researchers Discover How to Obtain ‘Ideal’ 3D Cell Cultures for Cancer Research

Researchers Discover How to Obtain ‘Ideal’ 3D Cell Cultures for Cancer Research
A group of scientists from Hungary, Russia and Finland have developed a system capable of selecting cancer cells of a specific shape and size—spheroids. SpheroidPicker, the first AI device of its kind, enables a more standardized approach to working with tumour samples. The results of the research have been published in the journal Scientific Reports. One of researchers who worked on the project is Nikita Moshkov, Junior Research Fellow of the Laboratory on AI for Computational Biology.

"The Efforts Taken by HSE University to Make My Internship Format Online Are Laudable"

"The Efforts Taken by HSE University to Make My Internship Format Online Are Laudable"
John Hopkins graduate Kayode Ahmed is interning at the Faculty. We talked to him about his career path, internship project, and hobbies.

9th Workshop "What Can FCA Do for Artificial Intelligence?" (FCA4AI)

9th Workshop "What Can FCA Do for Artificial Intelligence?" (FCA4AI)
21 августа 2021 г. состоялся 9-й международный семинар “What Can FCA Do for Artificial Intelligence?”.

Attila Kertesz-Farkas about New Lab and Research

Attila Kertesz-Farkas about New Lab and Research
Laboratory on AI for Computational Biology has opened at the Faculty not so long ago. We talked with its head, Attila Kertesz-Farkas, about the lab, research and his way in science.

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).

Logic Matters

The 3d International seminar "Logic Matters" organized by the International Laboratory for Intelligent Systems and Structural Analysis Department of Data Analysis and Artificial Intelligence under the leadership of Sergei O. Kuznetsov was held on December 29, 2020

Professor S.O. Kuznetsov took part in the international сommittee for the defense of a PhD dissertation at the University of Auvergne in Clermont-Ferrand, France.

The 8th Workshop "What can FCA do for artificial intelligence? (FCA4AI)"

On August 29 the International Laboratory for Intelligent Systems and Structural Analysis (ISSA) held the 8th Workshop "What can FCA do for artificial intelligence? (FCA4AI)"  as a part of the program of the European Conference on Artificial Intelligence (ECAI 2020).

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.

Application for HSE Minors is Open

Application for HSE Minors is Open
First-year students can select a minor in their personal accounts beginning at 18.00, March 26. HSE is offering a variety of interesting minors this year, so that students can choose the right minor for themselves.