- A
- A
- A
- ABC
- ABC
- ABC
- А
- А
- А
- А
- А
Pokrovsky boulevard, 11, room S938, Moscow, Russia, 109028
Phone: +7 (495) 772-95-90*27319
The School of Data Analysis and Artificial Intelligence was created in 2014 as part of the Department of Data Analysis and Artificial Intelligence. The school consists of world-renowned researchers who actively participate in international research projects.
17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787
Vol. 2. Switzerland: Springer, 2025.
Domrin V. I., Malova H. V., V. Yu. Popov et al.
Cosmic Research. 2026. Vol. 64. No. 2. P. 238-252.
Humonen I., Golyadkin M., Rubanova V. et al.
In bk.: CHI EA '26: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. NY: Association for Computing Machinery (ACM), 2026. P. 1-5.
Меньшиков И. А., Бернадотт А. К., Elvimov N. S.
Statistical mechanics. arXie. arXive, 2025
Graduate of the School of Data Analysis and Artificial Intelligence Defends Thesis at TU Dresden
Artem Revenko graduated from the HSE’s master’s programme in mathematical modelling in 2011 and doctoral programme in 2013.
Sergei Kuznetsov, Head of the School of School of Data Analysis and Artificial Intelligence was Artem’s Academic Supervisor during his master’s and doctoral studies. While studying at HSE, Artem also studied at TU Dresden, and hence the latest PhD thesis he defended in Dresden was based on his Moscow work.
The idea offered by Artem is based on Formal Concept Analysis and helps automatically generate formal mathematical theories. Put simply, the software system developed by Artem on the basis of this approach helps to find evidence of two mathematical results from general algebra. A researcher, working manually, might spend up to 3 years one of these results and 10 years on the other. The thesis committee included two Academic Supervisors, Bernhard Ganter and Gernot Salzer, two experts in computer science and a specialist in the thesis area. Artem’s work was graded as ‘Magna cum laude’, corresponding to a score of 8 points on the ten-point grading scale.