2026 Grigore Rosu: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	64	2646	2566	1312	1263	314	13567

Research.com Recognitions

2021 - IEEE Fellow For contributions to runtime verification and programming language semantics

Overview

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:

Computer Science

Within this broad area, their subfields of study cover:

Artificial Intelligence
Computational Theory and Mathematics
Computer Networks and Communications
Information Systems
Software

Their work addresses key topics such as:

Logic, programming, and type systems
Formal Methods in Verification
Security and Verification in Computing
Logic, Reasoning, and Knowledge
Blockchain Technology Applications and Security
Distributed systems and fault tolerance
Software Testing and Debugging Techniques

Grigore Rosu has published multiple papers in well-known venues, with frequent contributions to:

Proceedings of the ACM on Programming Languages
TUGraz OPEN Library (Graz University of Technology)
Journal of Logical and Algebraic Methods in Programming
arXiv (Cornell University)
SSRN Electronic Journal

Some recent papers include:

"Matching logic explained" (2021) published in Journal of Logical and Algebraic Methods in Programming
"A general approach to define binders using matching logic" (2020) published in Proceedings of the ACM on Programming Languages
"Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier" (2023) published in Proceedings of the ACM on Programming Languages
"Towards a unified proof framework for automated fixpoint reasoning using matching logic" (2020) published in Proceedings of the ACM on Programming Languages
"An Equational Specification for the Scheme Language" (2020) published in TUGraz OPEN Library (Graz University of Technology)

Frequent collaborators of Grigore Rosu include:

Xiaohong Chen
Dorel Lucanu
Minh-Thai Trinh
Musab A. Alturki

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.

Best Publications

Monitoring Java Programs with Java PathExplorer

Klaus Havelund;Grigore Roşu

590
Citations
Mop: an efficient and generic runtime verification framework

Feng Chen;Grigore Roşu

511
Citations
An overview of the K semantic framework

Unknown

495
Citations
Synthesizing Monitors for Safety Properties

Klaus Havelund;Grigore Rosu

475
Citations
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt;Manasvi Saxena;Nishant Rodrigues;Xiaoran Zhu

447
Citations
An overview of the MOP runtime verification framework

Patrick O’Neil Meredith;Dongyun Jin;Dennis Griffith;Feng Chen

309
Citations
An Overview of the Runtime Verification Tool Java PathExplorer

Klaus Havelund;Grigore Roşu

303
Citations
An executable formal semantics of C with applications

Chucky Ellison;Grigore Rosu

302
Citations
Monitoring programs using rewriting

K. Havelund;G. Rosu

275
Citations
Institution Morphisms

Joseph Goguen;Grigore Roşu

269
Citations
Java-MOP: a monitoring oriented programming environment for java

Feng Chen;Grigore Roşu

268
Citations
Rewriting-Based Techniques for Runtime Verification

Grigore Roşu;Klaus Havelund

246
Citations
Efficient monitoring of safety properties

Klaus Havelund;Grigore Roşu

231
Citations
Maximal sound predictive race detection with control flow abstraction

Jeff Huang;Patrick O'Neil Meredith;Grigore Rosu

220
Citations
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation

Feng Chen;Grigore Roşu

218
Citations
Monitoring Algorithms for Metric Temporal Logic Specifications

Prasanna Thati;Grigore Roşu

216
Citations
Efficient decentralized monitoring of safety in distributed systems

Koushik Sen;Abhay Vardhan;Gul Agha;Grigore Rosu

199
Citations
K-Java: A Complete Semantics of Java

Denis Bogdanas;Grigore Roşu

194
Citations
The rewriting logic semantics project

José Meseguer;Grigore Rou

187
Citations
Formal analysis of Java Programs in JavaFAN

Azadeh Farzan;Feng Chen;José Meseguer;Grigore Rosu

178
Citations
An Executable Formal Semantics of C with Applications: Technical Report

Chucky M. Ellison;Grigore Rosu

1
Citations

Frequent Co-Authors

Klaus Havelund Jet Propulsion Lab

José Meseguer University of Illinois at Urbana-Champaign

Koushik Sen University of California, Berkeley

Joseph A. Goguen University of California, San Diego

Gul Agha University of Illinois at Urbana-Champaign

Darko Marinov University of Illinois at Urbana-Champaign

Bernd Finkbeiner Saarland University

Wolfram Schulte Microsoft (United States)

Jon Whittle Commonwealth Scientific and Industrial Research Organisation

Howard Barringer University of Manchester

External Links

Wikipedia of Grigore Rosu Personal website of Grigore Rosu Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

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.