Skip to content

Research facility · founded 1994

Institute for System Programming

Moscow, Russia · ispras.ru/en

Part of Russian Academy of Sciences

Manage this page

Citations, last 5 years: 1 654
Works, last 5 years: 779
h-index: 52
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Software Testing and Debugging Techniques469Computer Science
Logic, programming, and type systems324Computer Science
Formal Methods in Verification282Computer Science
Security and Verification in Computing177Computer Science
Software Engineering Research154Computer Science
Parallel Computing and Optimization Techniques132Computer Science