• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
Synthesis of Acyclic Models for Processes Without Repeating Events

Joulitov A.K., Lomazova I.A.

Proceedings of the Institute for System Programming of the RAS. 2026. Vol. 38. No. 4. P. 215-224.

Book chapter
An LLM-Based Approach for Creating Multi-agent Systems

Rezunik L., Alexandrov D., Mikhail Prozorskiy.

In bk.: Intelligent Decision Technologies. Proceedings of the 17th KES-IDT 2025 Conference. Vol. 450. Cham: Springer, 2026. P. 81-91.

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

About the School

The leading academic, teaching and research subdivision that provides instruction in professional block courses to students of the Bachelor's programme 'Software Engineering' and the Master's programmes 'System Programming' and 'System and Software Engineering'.
Head of the School – Associate Professor, Candidate of Sciences in Economics Sergey Arkadyevich Lebedev.
The programme is delivered in accordance with international standards in the field of information technology:

  • Computer Science Curricula 2013/Curriculum Guidelines for Undergraduate Degree Programs in Computer Science
  • Integrated Software and Systems Engineering Curriculum – Graduate Software Engineering 2009 (GSwE2009): Curriculum Guidelines for Graduate Degree Programs in Software Engineering
  • ISO/IEC JTC1/SC7 Software and Systems Engineering Committee
  • Guide to the Software Engineering Body of Knowledge (SWEBOK Version 3)
  • SEMAT (Software Engineering Method and Theory) initiated by Ivar Jacobson, Bertrand Meyer and Richard Soley
  • IEEE CS certification CSDA, CSDP & CSDM
The School conducts research in various academic fields, including:
– Business process analysis and modelling
– Formal models of distributed systems
– Fuzzy logic
– Computer system architecture
– Compiler technologies
– Software analysis and development tools
– Databases
– Mathematical modelling
– Neural network technologies
– Artificial intelligence technologies
– Blockchain technologies
– Process-Aware Information Systems
– Human–computer interaction
– Computer game development
– System programming
– Cloud and mobile technologies

An important feature of the learning process is the acquisition of teamwork skills under typical software development conditions and participation in real team projects during internships and work placements at leading Russian and Western companies in software development, consulting and software project management. Our direct partners include:
· ISP RAS
· 1C
· NSPK MIR

The full list of partner companies is available on the website of the Faculty of Computer Science.