• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
DPN Verifier: A Toolkit for Faster Soundness Verification and Repair of Process Models with Data

Suvorov N. M.

Proceedings of the Institute for System Programming of the RAS. 2026. Vol. 38. No. 3(2). P. 49-66.

Book chapter
Scaling Up Molecular Hydrodynamics of Non-Laminar Flows with GPU-Aware MPI

Khnkoian G., Galigerov V., Grishichkin Y. et al.

In bk.: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. Vol. 2891. Springer, 2026. P. 532-545.

Working paper
Approach to Designing CV Systems for Medical Applications: Data, Architecture and AI
In press

Ryabtsev D., Vasilyev Boris, Shershakov S.

Computer Science ::Computer Vision and Pattern Recognition. 2501.14689. arXiv, 2025

On Campus – News

Celebrating 20 Years of Software Engineering at HSE

Celebrating 20 Years of Software Engineering at HSE
This year, HSE University marks twenty years since the launch of its Software Engineering field of study. In February 2006, the HSE Academic Council decided to establish the Department of Software Engineering—the first of its kind in Russia. The department was later reorganised into the School, which since 2014 has been part of the Faculty of Computer Science.

Golden HSE 2017: New Way to Choose Winners

Golden HSE 2017: New Way to Choose Winners
On October 23, the first round of the annual Golden HSE competition got underway. This prize will be awarded in December for the seventeenth time. See what’s new on the ‘anti-versary’ award, and nominate your candidates.

New Tenured Professors at HSE

On April 29, 2016 at the Academic Council meeting 25 HSE Professors were conferred the status of Tenured Professor.