YesRATEPROF
University of PennsylvaniaComputer Science

Rajeev Alur

Faculty

Formal Methods in VerificationLogic, programming, and type systemsModel-Driven Software Engineering TechniquesSoftware Testing and Debugging Techniques
Write a review Add to the wiki
Is this you? Claim this profileNewer info? Request a verified updateCompareORCID OpenAlex Wikidata
RA
Established
#196
/360 · Computer Science
Claim this profile to pick a paper-doll look or a photo
Academic childrentap
Teaching
—/5
0 reviews · 0% verified
Citations
39k
h 82 · i10 248
Academic descendants
13
13 Advisees · 1 gen
Collaborators
0
0 institutions
Service
0
0 current · 0 honors
Funding
$11M
14 grants · 0 partners
Influence
42/100
Top 52%
Momentum
13/100
Established
0 reviews
Teaching
—/ 5
Clarity—
Helpfulness—
Fair grading—
5 lenses
About

Rajeev Alur is a Computer Science scholar at University of Pennsylvania. Research spans Formal Methods in Verification, Logic, programming, and type systems, Model-Driven Software Engineering Techniques. 407 works, 39k citations (h-index 82).

Generated from open data. Know them? Add to this profile or claim it.

Affiliation on publications · University of Pennsylvania

Most-cited work

Wiki completeness6 / 12
50%

The fill grows as students, colleagues and family add verified facts.