Institute for System Programming Russian Academy of Sciences is a
prestigious institution university
established in 2015 in Russia. It is represented
by 76 scientists in the AD Scientific Index. The
university’s scientists are particularly concentrated in
Engineering & Technology (27 scientists), Architecture and Design (2 scientists), and Medical and Health Sciences (0 scientists).
* Total H Index Rankings
Ranking Based
On Selection: 1
базы данных
операционные систем�
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
31
14
0.452
Get Full Access to Premium Data
* Total H Index Rankings
Ranking Based
On Selection: 2
formal methods
automata theory
telecommunication protocols and services
testing
verificatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
31
14
0.452
* Total H Index Rankings
Ranking Based
On Selection: 3
Testing
Verification
Modeling
Requirements specification
Software securit
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
8
0.348
* Total H Index Rankings
Ranking Based
On Selection: 4
machine learning
trustworthy AI
information extraction
graph analysis
big dat
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
13
0.650
* Total H Index Rankings
Ranking Based
On Selection: 5
верификация программ
тестирование программ
разработка програм�
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
6
0.300
* Total H Index Rankings
Ranking Based
On Selection: 6
software engineering
testin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
8
0.421
* Total H Index Rankings
Ranking Based
On Selection: 7
Computer Science
Formal Methods
Safety Critical Systems
Software Engineering Educatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
18
11
0.611
* Total H Index Rankings
Ranking Based
On Selection: 8
Social Networks
Data Mining
Machine Learning
Distributed Algorithm
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
9
0.563
* Total H Index Rankings
Ranking Based
On Selection: 9
Verification & Validation
Formal Methods
Test Generation
High-Level Synthesis
Logic Synthesi
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
6
0.429
* Total H Index Rankings
Ranking Based
On Selection: 10
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
5
0.357
Is Your University Ready for the Future?
Compare your institution’s global, national, and city-level ranking with its 20 closest competitors and set strategic goals.
Gain insights from detailed performance analyses of scientists across 13 major disciplines, identify your strengths, improve weaknesses, and gain a competitive edge.. Check Your Free Sample Performance Analysis
* Total H Index Rankings
Ranking Based
On Selection: 11
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
7
0.538
* Total H Index Rankings
Ranking Based
On Selection: 12
compiler optimizations
static analysi
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
9
0.750
* Total H Index Rankings
Ranking Based
On Selection: 13
Machine Learnin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
9
0.750
* Total H Index Rankings
Ranking Based
On Selection: 14
compiler technologies
static software analysis
dynamic software analysis
fuzzing
control system
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
8
0.667
* Total H Index Rankings
Ranking Based
On Selection: 15
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
6
0.500
* Total H Index Rankings
Ranking Based
On Selection: 16
архитектура вычислительных машин
операционные системы
систем�
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
5
0.417
* Total H Index Rankings
Ranking Based
On Selection: 17
системное программирование
языки программирования
системы програ�
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
5
0.417
* Total H Index Rankings
Ranking Based
On Selection: 18
Computer Science
Software engineering
Large systems modelin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
4
0.333
* Total H Index Rankings
Ranking Based
On Selection: 19
compiler technologies
software security
binary code analysis
parallel programming
emulation and virtualizatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
4
0.333
* Total H Index Rankings
Ranking Based
On Selection: 20
Формальные методы
Formal Methods
model based testing
тестирование
testin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
6
0.545
* Total H Index Rankings
Ranking Based
On Selection: 21
Software Model Checking
Requirement Specifications
Aspect-Oriented Programming
Static Analysis
Formal Method
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
6
0.545
* Total H Index Rankings
Ranking Based
On Selection: 22
Open Source Software
Multiscale simulations
numerical simulation
compressible flows
multiphase flow
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
* Total H Index Rankings
Ranking Based
On Selection: 23
Recommender Systems
Social Networks
Data Minin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
7
0.700
* Total H Index Rankings
Ranking Based
On Selection: 24
Архитектура вычислительных систем
Телекоммуникации
Сетевы�
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
4
0.400
* Total H Index Rankings
Ranking Based
On Selection: 25
computer security
symbolic execution
fuzzing
return-oriented programming
dynamic analysi
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
6
0.667
Сергей Кузнецов
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
31
14
0.452
Nina Yevtushenko
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
31
14
0.452
formal methods
automata theory
telecommunication protocols and services
testing
verificatio
Alexander K. Petrenko
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
8
0.348
Testing
Verification
Modeling
Requirements specification
Software securit
Denis Turdakov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
13
0.650
machine learning
trustworthy AI
information extraction
graph analysis
big dat
Alexander Kosachev
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
6
0.300
верификация программ
тестирование программ
разработка програм�
Victor Kuliamin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
8
0.421
software engineering
testin
Alexey Khoroshilov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
18
11
0.611
Computer Science
Formal Methods
Safety Critical Systems
Software Engineering Educatio
Anton Korshunov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
9
0.563
Social Networks
Data Mining
Machine Learning
Distributed Algorithm
Alexander Kamkin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
6
0.429
Verification & Validation
Formal Methods
Test Generation
High-Level Synthesis
Logic Synthesi
Игорь Бурдонов
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
5
0.357
Is Your University Ready for the Future?
Compare your institution’s global, national, and city-level ranking with its 20 closest competitors and set strategic goals.
Gain insights from detailed performance analyses of scientists across 13 major disciplines, identify your strengths, improve weaknesses, and gain a competitive edge.. Check Your Free Sample Performance Analysis
Vadim Mutilin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
7
0.538
Andrey Belevantsev
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
9
0.750
Nikita Astrakhantsev
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
9
0.750
Курмангалеев
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
8
0.667
compiler technologies
static software analysis
dynamic software analysis
fuzzing
control system
Sergey Zelenov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
6
0.500
Виктор Петрович Иванников
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
5
0.417
архитектура вычислительных машин
операционные системы
систем�
Карпов Л. Е.
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
5
0.417
системное программирование
языки программирования
системы програ�
Ekateryna Lavrischeva
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
4
0.333
Computer Science
Software engineering
Large systems modelin
Vartan Padaryan
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
4
0.333
compiler technologies
software security
binary code analysis
parallel programming
emulation and virtualizatio
Nikolay Pakulin (Николай Пакулин)
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
6
0.545
Формальные методы
Formal Methods
model based testing
тестирование
testin
Evgeny Novikov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
6
0.545
Software Model Checking
Requirement Specifications
Aspect-Oriented Programming
Static Analysis
Formal Method
Matvey Kraposhin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
Open Source Software
Multiscale simulations
numerical simulation
compressible flows
multiphase flow
Andrey Gomzin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
7
0.700
Recommender Systems
Social Networks
Data Minin
Виктор Зиновьевич Шнитман
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
4
0.400
Архитектура вычислительных систем
Телекоммуникации
Сетевы�
Alexey Vishnyakov
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
6
0.667
computer security
symbolic execution
fuzzing
return-oriented programming
dynamic analysi