• 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 "international students" – News

“I got the opportunity to see the computer science principles applied in a different domain. It’s one thing knowing that they can be applied in multiple domains but it’s another seeing it up close.”

“I got the opportunity to see the computer science principles applied in a different domain. It’s one thing knowing that they can be applied in multiple domains but it’s another seeing it up close.”
Frank Acquaye is a PhD student atthe Department of Data Analysis and Artificial Intelligence, Faculty of Computer Science, National Research University Higher School of Economics. As part of his postgraduate studies, Frank spent several months inthe Noble Research Lab at the University of Washington, USA, where he did research.

‘Working in Academia Is My Lifelong Desire’

‘Working in Academia Is My Lifelong Desire’
Majid Sohrabi is a 28 year-old student from Iran currently enrolled in a doctoral programme at the HSE University Faculty of Computer Science. Before starting his PhD, he graduated with honours from the university’s Master of Data Science programme. In addition to studying, he also works as an assistant at the School of Data Analysis and Artificial Intelligence and a research assistant at the Laboratory for Models and Methods of Computational Pragmatics.