Category: Образование/

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

In November, Alina Ivanova, a first-year master's student in Political Science at the NSU Institute of Philosophy and Law, and Victoria Maltseva, Partner Relations Manager at the NSU Career Development Center, took part in a four-day trip to Zheleznogorsk in Krasnoyarsk Krai. The trip was made possible through the Rosmolodezh program "More Than a Journey" and the "Tours of Opportunity to Nuclear Cities" project, implemented by the Rosatom State Corporation. A total of 29 people from Novosibirsk, Tomsk, Irkutsk, Kemerovo, Novokuznetsk, Snezhinsk, and Seversk participated in the event.

The tour program included a sightseeing tour of Zheleznogorsk, a visit to the museum of the Rosatom State Corporation and the M.F. Reshetnev Information Satellite Systems JSC, the "Forward to the Dream" recreational horseback riding center, and the "Lapudai" husky center. Workshops on mini-volleyball and dumpling making were also held, along with evening programs such as "Kvartirnik" and "Siberian Feast." In addition, walks through the park grounds and a project were organized, including landscaping an eco-trail on the grounds of the "Nad Yenisei" recreation center, where the participants stayed outside the closed city.

Alina Ivanova was born in Krasnoyarsk and, as a child, often visited Zheleznogorsk, where her father worked. The city was relatively familiar to her, but during the four-day tour, she discovered a completely new side.

"The Museum and Exhibition Center of the Closed Administrative Territorial Entity of Zheleznogorsk, which includes exhibits from JSC Academician M.F. Reshetnev Information Satellite Systems (Russia's largest spacecraft manufacturer), was particularly memorable for its interactive areas, where participants could try on the role of a researcher and engineer. I was also amazed by the Space Communications Center's site in the evening, when, unexpectedly for the program participants, the satellite dishes lit up with multicolored lights—it was a wow effect! The Tolgut Park and Olen-Gora park areas, which I had never visited before, delighted me with their natural purity and beauty—I'll definitely return here in the summer to enjoy the fresh air and natural bounty," Alina Ivanova shared her impressions.

For Victoria Maltseva, the trip provided an opportunity to learn more not only about the city, its history, and key facts about its "biography," but also how Rosatom works with young professionals, what career opportunities it offers, what support measures exist, and what kind of personnel the company is most interested in.

"The key event of our tour was a meeting with representatives of Rosatom State Atomic Energy Corporation. During group interviews, the company executives repeatedly emphasized that Zheleznogorsk welcomes young professionals—graduates from the Physics Department, the Faculty of Natural Sciences, and the Faculty of Information Technology at NSU, as well as those with humanities backgrounds as teachers, and graduates of the Institute of Medicine and Medical Technology—to work in the city's medical institutions. City businesses help young professionals adapt, provide company housing, and offer competitive salaries, creating real opportunities for professional growth," commented Victoria Maltseva.

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

The second edition has been published new global Times Higher Education (THE) rankings for interdisciplinary researchA total of 911 universities from 94 countries are represented, with 44 Russian universities included in the ranking. NSU has been among the top 5 Russian universities for the second year in a row (rankings 4-7). In the international rankings, NSU ranks 201-250. Novosibirsk State University ranks just behind Moscow State University, Bauman Moscow State Technical University, and RUDN University. HSE, SFedU, and UrFU are on par with NSU.

This ranking is based on both objective criteria, based on the SCOPUS scientometric database and a survey of researchers from around the world (65% of the ranking; outputs), and qualitative indicators—"availability of opportunities for interdisciplinary research," "support from management," "presence of a system for rewarding interdisciplinary research at the university," and "availability of indicators of success in interdisciplinary research" (16% of the ranking; process). Another 19% comes from the indicator "funding for interdisciplinary research" (inputs).

Unlike last year's ranking, which only took into account interdisciplinary research in the natural sciences, life sciences, and computer sciences, this year's rankings also include one or more non-STEM disciplines: social sciences, education, psychology, law, economics, or clinical health.

"NSU ranks highly in funding for interdisciplinary research, ranking fourth and seventh in Russia in terms of results. Over the past five years, the number of NSU publications in top-ranked international scientific journals has increased by 30%, with 1,991 citations in SCOPUS in 2024. We expect that by 2025, total funding for scientific research, including extra-budgetary sources, will reach 4 billion rubles. Unlike a single research institute with a specific specialization, NSU can initiate interdisciplinary projects, attract funding for them, create consortiums, and engage institutes in the joint implementation of such projects. Thus, NSU acts as an integrator and center of gravity for the Novosibirsk Scientific Center," commented NSU Rector and RAS Academician Mikhail Fedoruk.

Several innovation centers are currently operating at NSU. International Mathematical Center, Advanced Engineering School, Artificial Intelligence Research Center, the NTI Competence Center for New Functional Materials. Most of their research is interdisciplinary. NSU also recently confirmed its position among the leading universities in the "Priority 2030"NSU will use the grant funds to develop three strategic technology projects: biomedicine, small spacecraft and unmanned systems, as well as the use of artificial intelligence in industry and for solving smart city problems.

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

A delegation from N. M. Fedorovsky Polar State University visited the new campus of Novosibirsk State University, which is being built as part of the national project "Youth and Children." The purpose of the visit was to familiarize themselves with NSU's modern infrastructure and identify potential areas of cooperation in education and research. During the visit, representatives from ZSU also met with NSU Rector and RAS Academician Mikhail Fedoruk.

In his speech, Mikhail Fedoruk emphasized how the new campus fits into the university's development strategy and the challenges it enables it to address.

"The new NSU classroom building has significantly expanded our educational capabilities: our available classroom capacity has increased by 25%. This is significant given that the student population at NSU has nearly doubled over the past 20 years. We also now have sufficient space to house a research library with a collection of over 1 million books. The new educational and research center Institute of Medicine and Medical Technologies of NSU "The new center will house practical training courses, student labs, and Siberia's largest simulation center for medical training. Thanks to this modern infrastructure, we are improving medical education, the transformation of which began in 2024. The new research center will allow us to develop practice-oriented research areas that are underrepresented at the Novosibirsk Scientific Center and in which NSU has every opportunity to become a leader. These include biomedicine, space instrumentation, and artificial intelligence," said Mikhail Fedoruk.

The ZSU delegation toured NSU's new classroom building, which opened on September 1, 2025, and learned about the organization of the educational space and the scientific library. ZSU staff also visited the first-stage facilities, which were completed in 2024—the academic building and leisure center of the NSU Specialized Scientific Center, as well as the university's new dormitories.

"ZSU is embarking on a major and very serious transformation program, primarily in the educational process. We felt it was crucial to get to know a university that is one of the country's leaders not only in its integration with research but also in the organization of educational activities. We visited your new campus and new facilities, which are deeply integrated into education. We are currently undergoing a major renovation of ZSU's main building, and your experience is very useful to us," commented Anton Lopukhin, Vice Rector for Development and Digital Transformation at ZSU.

Polar State University is the northernmost university in the country. To ensure a high level of education and attract the best faculty from across the country, ZSU plans to implement a modular education system, with faculty members coming to teach specific courses in one- or two-week intensive programs. ZSU is industry-focused: the university ranks fourth in the country for graduate employment rates—98% of graduates from Polar State University find employment in their field of study. Thanks to its practice-oriented education and close ties with industrial partners, ZSU graduates are in demand in the labor market. At the same time, the university aims to elevate its theoretical foundation and fundamental education, and is therefore interested in building closer cooperation with Novosibirsk State University, which is traditionally renowned for its ties to science.

"We already have a number of areas of collaboration with the Siberian Branch of the Russian Academy of Sciences—we work with the Institute of Solid State Chemistry and Mechanochemistry, the N.A. Chinakal Institute of Mining, and the Institute of Economics and Industrial Engineering. We are currently implementing a major infrastructure project with our partner, Norilsk Nickel, and are establishing new laboratories. Being close to production, real-world applied problems, and working in conjunction with academic research, we can achieve very good results. Therefore, we are interested in collaborating with NSU scientists, inviting them to give lectures, engaging them in joint research projects, and solving applied problems in subsoil use—from geological exploration, mining, and beneficiation to the production of finished products," noted Arkady Tarasevich, Vice-Rector for Research and International Affairs at ZSU.

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

Council for Support of Development Programs of Universities Participating in the ProgramPriority 2030 summarized the results of its work. Over the course of four days from November 18 to 21, the Ministry of Higher Education and Science, along with experts from the business and scientific communities, reviewed the universities' preliminary results.

NSU has entered the second group of the main track and will receive support in the amount of approximately 400 million rubles for the implementation of the development program in 2026. Yesterday, a press conference was held at TASS with the participation of Andrey Matveyev, Head of the NSU Development Program Coordination Department, and the Deputy Director Institute of Medicine and Medical Technologies of NSU Mikhail Khvostov, Professor of Biomedical Research and Pharmaceutics, presented the key results and research areas that NSU will develop as part of the Priority 2030 program in 2026.

"As part of the development program, which we practically re-formulated at the beginning of this year, we set ourselves the goal of developing NSU as a scientific and technological university. This target model will be implemented through strategic technology projects," Andrey Matveyev noted at the beginning of his speech.

The Center for the Integration of Personalized Biomedicine, Pharmacy, and Synchrotron and Binary Technologies, which was launched this year, became a strategic nuclear technology project (STP) for NSU.

"In a relatively short period of time, we've managed to assemble a fairly large team—over 100 scientists working on interdisciplinary projects. These people possess expertise in various fields, and this helps us implement important, interesting, and breakthrough ideas. We have a very ambitious goal—to develop at least 50 domestic biomedical products by 2030," said Mikhail Khvostov.

Achieving this goal will be facilitated by consolidating the university's activities with research institutes of the Siberian Branch of the Russian Academy of Sciences and industrial partners, as well as NSU's undeniable advantage—fundamental education of the highest level, including in the field of biomedicine.

"Another key development is the construction of a new NSU campus and the development of new infrastructure. This is a research center that will house, among other things, a pilot industrial production facility for biotech products. This infrastructure will accelerate the transfer of new ideas, technologies, and developments generated at NSU and the SB RAS research institutes to the real economy. For biomedical products, this is a long and arduous process; however, the university is now prepared to implement the full life cycle of such products—from conception and prototyping to the transfer of technologies and medical devices to the real economy," added Mikhail Khvostov.

STP's portfolio currently includes over 15 products at various stages of development, representing various segments and primarily related to personalized medicine. All products are being developed with the support of industrial partners, who are ready to bring them to market.

Thus, the development of NGS sequencing platforms potentially enables more accurate diagnosis of various diseases and the prescription of appropriate treatment. Another area of research is related to the SKIF Center for Collective Use, which will enable the full cycle of pre- and post-synchrotron research, which is necessary, for example, for studying potential drugs, their mechanisms of action, and for analyzing pharmaceutical substances.

The most advanced product development is for lower and upper limb prosthetics created using additive manufacturing. Prototypes are currently being tested with patients, and it is planned that this development will be ready for industrial deployment by 2026.

NSU is also currently a site for the development of reagents for the CAR-T therapy ecosystem—one of the modern methods for treating oncohematological diseases.

Another strategic technology project being developed by NSU as part of the Priority 2030 program is "Neural Network Technologies for Processing Targeted Information onboard Small Spacecraft and Controlling Unmanned Aerial Vehicles." It comprises two subprojects. One is related to the development of neural modules that will be installed on satellites. These modules will reduce energy consumption and improve satellite efficiency by pre-processing the information received onboard.

"For example, some of the images received by Earth remote sensing satellites contain cloud cover, which complicates their processing. There's no point in transmitting such images beyond Earth. Neural modules will pre-process the information received by the satellite and transmit only the relevant information to Earth," explained Andrey Matveyev.

The second subproject involves the development of unmanned aerial vehicles with autonomous ground navigation systems, where the drone navigates by analyzing its surroundings and independently performs its assigned task. Such devices have everyday applications, for example, for delivering medicine and essential goods to hard-to-reach areas. Ten such aircraft have already been manufactured for partners.

The third STP—"Artificial Intelligence for Production Facilities and Automation of Industry and the Urban Environment"—includes a range of products and technologies for the efficient management of urban infrastructures and industrial enterprises, automation of production, and improvement of quality of life. Work on the project is being carried out with the support of both large federal and regional companies.

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

On November 20, the auditorium building, part of the new NSU campus, hosted a ceremony to honor scholarship recipients and winners of the faculty grant competition under the "Alpha-Future" platform. This year, 47 NSU students representing all faculties and institutes were among the 3,000 winners from 300 universities across the country. Three faculty members received financial support for their projects—two with Faculty of Natural Sciences and one with Faculty of Economics.

Alpha-Future is a student and university development program across the country. It aims to identify and develop the creative and leadership skills of talented young people, create conditions for their intellectual development, assist them in choosing a career, and increase their motivation to achieve their career goals. Updated in 2025, the program includes two financial support programs: "Alpha-Future Scholarships" for students and "Alpha-Future Grants" for teaching projects.

The first stage of the faculty competition was held within the university: to participate, applicants had to submit documents and a list of personal and academic achievements. One of the mandatory requirements was recommendations from students and the department. During the next stage, information about the selected candidates was sent to the organizers at Alfa-Bank, who conducted the final round and determined the winners.

The following were the recipients of grants from NSU:

Anna Vladimirovna Komarova, Associate Professor of the Department of Political Economy at the Faculty of Economics at NSU. Sergey Evgenievich Sedykh, Senior Lecturer at the Faculty of Natural Sciences, PhD in Biology, and Research Fellow at the Institute of Chemical Biology and Fundamental Medicine of the Siberian Branch of the Russian Academy of Sciences. Daria Sergeevna Novopashina, Associate Professor of the Department of Molecular Biology and Biotechnology at the Faculty of Natural Sciences.

The grant is 250,000 rubles, and funds can be used for professional development and educational purposes. Teachers will also have the opportunity to participate in relevant events and projects within the Alpha-Future platform.

"I have a lot of experience applying for grants, but this was my first time applying for a grant from Alfa-Bank. The application required me to highlight all my accomplishments and demonstrate that we truly want to use the grant funds for good, worthy causes. I'm very glad that such awards for teachers exist and that they're being developed. Large companies are now starting to establish closer ties with students and their teachers. This is very valuable for us because we better understand the current labor market trends. And this kind of direct financial support is certainly a great incentive and fosters loyalty to the company," commented Anna Komarova.

Sergey Sedykh, on the other hand, had never participated in such competitions for teachers, but this time he decided to give it a try.

"During my preparation, I was surprised by how many personal achievements and scientific papers I had accumulated. I received recommendations from 12 students, not only from NSU but also from other universities. I plan to use half of the grant to pay for the authors of assignments for the "Genome Editing" track of the National Technology Olympiad, which I organize, and the other half for conference travel. I am very grateful to my students for their trust, and to the university for supporting my candidacy.

Daria Novopashina plans to invest in self-development and exploring new areas.

"I wanted to improve my design skills. I want to create engaging presentations, pictures, and sketches to engage students in the learning process. I also plan to develop a new teaching aid, which requires knowledge of how to write texts effectively."

Among the NSU scholarship recipients, the Faculty of Natural Sciences has the largest number of students (14), followed by the Faculty of Economics (10), and the Faculty of Physics (7). The Humanities Institute and the Institute of Philosophy and Law have received five and four scholarship recipients, respectively. The Faculty of Information Technology and the Institute of Medicine and Medical Technologies have received two scholarship recipients each, while the Faculty of Mechanics and Mathematics, the Faculty of Geology and Geophysics, and the Institute of Intelligent Robotics have received one scholarship each. All recipients will receive monthly stipends of 5,000 rubles from September 2025 to June 2026.

Full list of scholarship recipients:

1. Egorov Dmitry Alexandrovich, FF

2. Vopilovsky Alexey Mikhailovich, FF

3. Vanda Vladislav Sergeevich, FF

4. Borozdin Pavel Aleksandrovich, FF

5. Olga Vladimirovna Somova, Faculty of Economics

6. Morozova Yesenia Shamilevna, GI

7. Voronin Andrey Alekseevich, FEN

8. Shepelev Vitaly Denisovich, MMF

9. Shuklina Anna Artyomovna, FF

10. Frolova Anna Alekseevna, IFP

11. Martyushova Vladislava Gennadievna, FEN

12. Evgeniya Dmitrievna Pozdnyakova, FEN

13. Rudnev Daniil Nikolaevich, FF

14. Muravyov Mikhail Denisovich, EF

15. Denisova Anna Maksimovna, EF

16. Kozlenko Mikhail Mikhailovich, GGF

17. Buzin Mikhail Andreevich, IFP

18. Gerasimov Vladislav Sergeevich, IFP

19. Chumak Anton Maksimovich, FIT

20. Bronnikova Ksenia Evgenievna, IFP

21. Feoktistov Grigory Olegovich, GI

22. Kurbatsky Dmitry Vladimirovich, FEN

23. Nechaeva Maria Stanislavovna, GI

24. Ivanov Alexey Mikhailovich, FEN

25. Skotareva Anna Evgenievna, FEN

26. Frolov Ivan Andreevich, FEN

27. Kulyaeva Anastasia Evgenievna, GI

28. Motina Alina Nikolaevna, GI

29. Bikeev Nail Rafikovich, FEN

30. Novikov Maxim Aleksandrovich, FEN

31. Pronina Maria Evgenievna, IMMT

32. Chernovsky Nikita Dmitrievich, FEN

33. Petrochenko Sofia Aleksandrovna, FEN

34. Pereverzev Ilya Maksimovich, FIT

35. Aksenova Olesya Dmitrievna, FEN

36. Borodin Kirill Andreevich, IIR

37. Churkina Alina Ilgizovna, Faculty of Economics

38. Lysova Sofia Antonovna, EF

39. Guseva Veronika Andreevna, EF

40. Denishkina Anastasia Alexandrovna, EF

41. Isaev Alexey Sergeevich, IMMT

42. Makogon Ulyana Arkadyevna, FEN

43. Starukhin Ivan Nikolaevich, FF

44. Yakovleva Elizaveta Aleksandrovna, EF

45. Nafikov Marat Damirovich, FEN

46. Varfolomeeva Victoria Aleksandrovna, EF

47. Vaskin Mikhail Vladimirovich, EF

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

The results of the registration campaign have been summed up IX season of the All-Russian student Olympiad "I am a professional" The presidential platform "Russia – Land of Opportunity" received over 215,000 applications, including 3,290 students from Novosibirsk Oblast universities. The region ranked among the top 20 in terms of number of Olympiad participants. The project is supported by the Russian Ministry of Science and Higher Education.

A total of 215,515 participants, representing 1,099 Russian universities and their branches, applied this season. The organizers prepared even more opportunities for students to grow professionally and launch their careers: 70 disciplines were available, including areas that are a priority for ensuring the country's technological sovereignty. The "I am a Professional" Olympiad annually brings together the most talented and active students and promotes professionalism as a value.

"Talented young people from the Novosibirsk Region are forming Russia's talent pool, demonstrating their high professionalism in projects of the "Russia – Land of Opportunity" Presidential Platform, including the "I Am a Professional" Olympiad. Students from 21 regional universities and branches applied to participate in the ninth season of the project. The most active participants were from the Siberian State Transport University (663 participants), Novosibirsk National Research State University (588), and the Siberian Institute of Management (branch) of the Russian Presidential Academy of National Economy and Public Administration (516). I thank everyone who participates in the Presidential Platform competitions: learn, develop, and we will always help you along the way," said Andrey Betin, CEO of the "Russia – Land of Opportunity" Presidential Platform and Rector of the Senezh Management Workshop.

According to Valeria Kasamara, director of the All-Russian Student Olympiad "I am a Professional," the Novosibirsk Region demonstrates high activity in the project every year.

"The 'I Am a Professional' Olympiad fosters a professional self-determination environment for young people, and this is particularly noticeable at the regional level. In the Novosibirsk Region, we've seen growing interest in the project: 3,290 students have chosen the Olympiad as a way to launch their careers, choosing fields such as Mathematics, Transportation, and Psychology," noted Valeria Kasamara.

A key feature of the new season will be a stronger career component. From the early stages, participants will have access to a comprehensive database of internships and job openings from over 700 industry partners. They will have the opportunity to attend career counseling sessions, attend specialized schools, and receive job offers.

The qualifying round for the ninth season of the All-Russian Student Olympiad "I Am a Professional" (I Am a Professional), part of the Presidential Platform "Russia – Land of Opportunities," is scheduled for November 14 to December 1. It will allow participants to not only test their knowledge but also solve practical problems from leading universities and employers. Olympiad winners will receive significant benefits, including preferential admission to master's and doctoral programs, as well as cash bonuses of up to 300,000 rubles for medalists.

Let us remember that in the previous Olympic season NSU students represented 827 in the selection round, and 197 in the finals. The top five most popular tracks among NSU students were Biology, Biotechnology, Bioengineering and Bioinformatics, Chemistry, and Mathematics. NSU students performed best in Biotechnology, Bioengineering and Bioinformatics, Biology, and Ecology. NSU students received 75 diplomas and six medalists in the Olympiad.

The All-Russian Student Olympiad "I am a Professional" is being implemented as part of the federal project "Russia – Land of Opportunity" of the national project "Youth and Children" with the support of the Ministry of Science and Higher Education of Russia.

This news was prepared based on materials from the press service of the "I am a Professional" Olympiad.

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

Three students from the Faculty of Economics at Novosibirsk State University have won the "Investments in the Future" scholarship program for financial market organizations, established by BrokerCreditService LLC (BCS).

Based on the results of the Scholarship Council vote, scholarships were awarded to:

Semyon Afanasyev, a second-year Master's student in Management (major: Innovative Entrepreneurship and Management); Anastasia Batueva, a fourth-year student in Economics (major: Modern Economic Modeling: Traditional Approaches, Behavioral Economics, and Econometric Analysis); and Matvey Khoroshilov, a second-year Master's student in Economics (same major).

Each scholarship recipient will receive 10,000 rubles monthly for a year—from September 2025 to August 2026. The total scholarship amount is 120,000 rubles.

The scholarship program is aimed at supporting talented students with an interest in economics, investments, and the financial market. Participants undergo a competitive selection process: they submit a portfolio of achievements, a reference, a motivation letter, and a video business card.

"To participate, I had to gather a large package of documents—a reference, a motivation letter, and a video business card. I participated last year and also won a scholarship, so I decided to try again. I'm thrilled to have won. It's great that there are proactive people and organizations willing to support students," said Anastasia Batueva.

"I decided to participate because my research and practical interests are closely related to the financial market. The program is conducted remotely: you need to gather documents, record a video, and prepare a motivation letter. Upon learning of my victory, I felt immense gratitude to the founder, BCS," noted Matvey Khoroshilov.

The "Investing in the Future" scholarship program is implemented by Russian financial market organizations to support and develop students pursuing careers in finance, investment, and economic analysis.

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.

Translation. Region: Russian Federation –

Source: Novosibirsk State University –

An important disclaimer is at the bottom of this article.

The third All-Russian competition in formal program verification, VeHa-2025, took place from November 4–8 as a satellite event of the 26th Open All-Siberian Programming Olympiad named after I.V. Pottosin. Representatives from leading Russian companies, universities, and research institutes participated in the competition.

The competition's problems focused on verifying the correctness of software systems—from algorithms for solving Diophantine equations using the Indian "chakravala" method and searching for substrings in a text string to control models for Chinese high-speed trains and static program analysis. Participants had to delve into their chosen domain and prove the correctness of their algorithms using formal verification methods.

VeHa-2025 featured teams from Novosibirsk State University, Astra Group, Kaspersky Lab, the Ivannikov Institute for System Programming of the Russian Academy of Sciences, the Steklov Mathematical Institute of the Russian Academy of Sciences, Peter the Great St. Petersburg Polytechnic University, Bauman Moscow State Technical University, Neapolis Paphos University, Moscow Institute of Physics and Technology, ITMO University, MISIS University, and the Institute of Automation and Electrometry of the Siberian Branch of the Russian Academy of Sciences.

The NSU teams demonstrated strong results. In the "Step-by-Step Property Inference in Isabelle/HOL" category (Kaspersky Lab), second place was shared by:

— Artem Ishchenko, a postgraduate student at the Faculty of Information Technology (FIT); Lev Boyandin, a third-year student at the Faculty of Mechanics and Mathematics (MMF).

First place was taken by FIT graduate and now PhD student at the Institute of Architecture and Economics, Ivan Chernenko.

"I'm interested in formal methods and interactive theorem proving systems, so the competition topic was very relatable to me. I participated remotely and discussed the issues with my mentor in a group discussion. Due to my workload, I only chose one category—Isabelle/HOL. There were a couple of challenging moments, but overall, everything went smoothly. I was pleased with the level of difficulty. I'm very happy to have won a prize," said Lev Boyandin.

The team led by fourth-year FIT student Margarita Shabanova was particularly noteworthy, becoming the only nominee for a problem that closely approximated a real-world industrial setting, modeling the control system of Chinese high-speed trains. Also competing were Faculty of Mathematics and Mechanics (FMM) student Alexander Kharkov and Faculty of Mathematics and Mechanics Master's student Yulia Razbitnova.

"The Olympiad's theme coincided with the focus of my thesis, and I wanted to gain useful skills and broaden my horizons. It was interesting to test my skills on problems beyond the curriculum. The competition was very dynamic: we had to quickly understand the problem and come up with a solution within a limited time. The atmosphere was professional yet friendly—the organizers responded promptly to questions," Margarita Shabanova shared her impressions.

We congratulate the participants and wish them continued success in their research and project work!

Please note: This information is raw content obtained directly from the source. It represents an accurate account of the source's assertions and does not necessarily reflect the position of MIL-OSI or its clients.