- Compiler Technology Department
- Computer Systems Department
- Information Systems Department
- Software Engineering Department
- System integration and multi-disciplinary collaborative environments
- System Programming Department
- Theoretical Computer Science Department
- Academic council
- Dissertation council
- Verification Center of the Operating System Linux
- Center of competence in parallel and distributed computing
30 May, 2017 The future of Russian operating platforms has been discussed at the conference hosted by RAS
15 May, 2017 ISP RAS will take part in the Tizen-developers conference TDC 2017 in San Francisco on 16-17 May
- Theoretical computer science: formal models and semantics.
- Program analysis and transformation.
- Information security.
- Software engineering, testing and verification.
- Parallel and distributed software.
- Operating systems.
- Computer graphics and visualization.
- Computer algebra.
- Programming languages, compilers, and integrated development environment.
- Data analysis.
- Information retrieval.
- Databases, data warehouses.