The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Grigore Rosu sits on this spectrum.
This scientist: 314 publications — 76th percentile
76% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Grigore Rosu sits on this spectrum.
This scientist: 64 D-Index — 82nd percentile
82% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
Grigore Rosu is affiliated with the University of Illinois at Urbana-Champaign in the United States. Their research primarily spans the domains of computer science, with a focus on artificial intelligence, computational theory and mathematics, and related subfields.
The scientist's main fields of study include:
Within this broad area, their subfields of study cover:
Their work addresses key topics such as:
Grigore Rosu has published multiple papers in well-known venues, with frequent contributions to:
Some recent papers include:
Frequent collaborators of Grigore Rosu include:
Grigore Rosu has authored books published by Springer Science+Business Media, including multiple editions of "Tools and Algorithms for the Construction and Analysis of Systems" (2022) and "Model Checking Software" (2022).
A notable recognition received by Grigore Rosu is the IEEE Fellow award in 2021 for contributions to runtime verification and programming language semantics.
Klaus Havelund;Grigore Roşu
Feng Chen;Grigore Roşu
Unknown
Klaus Havelund;Grigore Rosu
Everett Hildenbrandt;Manasvi Saxena;Nishant Rodrigues;Xiaoran Zhu
Patrick O’Neil Meredith;Dongyun Jin;Dennis Griffith;Feng Chen
Klaus Havelund;Grigore Roşu
Chucky Ellison;Grigore Rosu
K. Havelund;G. Rosu
Joseph Goguen;Grigore Roşu
Feng Chen;Grigore Roşu
Grigore Roşu;Klaus Havelund
Klaus Havelund;Grigore Roşu
Jeff Huang;Patrick O'Neil Meredith;Grigore Rosu
Feng Chen;Grigore Roşu
Prasanna Thati;Grigore Roşu
Koushik Sen;Abhay Vardhan;Gul Agha;Grigore Rosu
Denis Bogdanas;Grigore Roşu
José Meseguer;Grigore Rou
Azadeh Farzan;Feng Chen;José Meseguer;Grigore Rosu
Chucky M. Ellison;Grigore Rosu
If you think any of the details on this page are incorrect, let us know.
Exploring online education can open up flexible and affordable options for students interested in Computer Science and related fields. There is a growing demand for accelerated programs, such as the accelerated associate degree online, ideal for those seeking to enter the workforce quickly or gain foundational skills before pursuing more advanced studies.
For students interested in business or technology management, finding the cheapest online business degree can help lower the cost of education while building valuable knowledge for diverse career options. In addition, many choose an online bachelors degree for its convenience, especially for those balancing work or family commitments.
Engineering is another field closely related to Computer Science. Understanding the online engineering degree cost can help students budget and plan for a future in high-demand technical roles. Ultimately, online degrees provide flexible pathways that support a wide variety of career ambitions in computing, business, and engineering.
Karlsruhe Institute of Technology
Sichuan Agricultural University
University of Adelaide
University of Tehran
Feinstein Institute for Medical Research
Korea University
University of Cincinnati Medical Center
University of Cambridge
Uppsala University
Telethon Kids Institute
Medical Research Council
Duke University
University of Passau
MIT
University of California, Irvine
University of Lausanne
