Question 1

What does Rajeev Alur research?

Accepted Answer

Rajeev Alur publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

Question 2

Which keywords describe Rajeev Alur's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing and Software Fault Localization.

Question 3

Where does Rajeev Alur work?

Accepted Answer

Rajeev Alur's main affiliation in the publication record is University of Pennsylvania, United States.

Question 4

How many publications and citations does Rajeev Alur have?

Accepted Answer

OpenAlex counts 412 works and 38,321 citations for Rajeev Alur, an h-index of 82, ranking #23,539 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Rajeev Alur's h-index high?

Accepted Answer

An h-index of 82 is at or above that of 99.9% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 0.1%.