YesRATEPROF
Rice UniversityComputer Science

Moshe Y. Vardi

Faculty

Formal Methods in VerificationLogic, Reasoning, and KnowledgeLogic, programming, and type systemsSoftware Testing and Debugging Techniques
Write a review Add to the wiki
Is this you? Claim this profileNewer info? Request a verified updateCompareORCID OpenAlex Wikidata
MV
Established
#150
/360 · Computer Science
Claim this profile to pick a paper-doll look or a photo
Academic childrentap
Teaching
—/5
0 reviews · 0% verified
Citations
42k
h 94 · i10 480
Academic descendants
4
4 Advisees · 1 gen
Collaborators
0
0 institutions
Service
0
0 current · 0 honors
Funding
$7.7M
24 grants · 0 partners
Influence
38/100
Top 39%
Momentum
26/100
Established
0 reviews
Teaching
—/ 5
Clarity—
Helpfulness—
Fair grading—
5 lenses
About

Moshe Y. Vardi is a Computer Science scholar at Rice University. Research spans Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems. 908 works, 42k citations (h-index 94).

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

Affiliation on publications · Rice University

Most-cited work

Wiki completeness6 / 12
50%

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