YesRATEPROF
University of California, BerkeleyComputer Science

Shankar Sastry

Faculty

Formal Methods in Verification
Write a review Add to the wiki
Is this you? Claim this profileNewer info? Request a verified updateCompareORCID OpenAlex
SS
Established
#89
/360 · Computer Science
Claim this profile to pick a paper-doll look or a photo
Teaching
—/5
0 reviews · 0% verified
Citations
56k
h 90 · i10 272
Academic descendants
0
0 Advisees · 0 gen
Collaborators
0
0 institutions
Service
0
0 current · 0 honors
Funding
$0
0 grants · 0 partners
Influence
29/100
Top 23%
Momentum
34/100
Established
0 reviews
Teaching
—/ 5
Clarity—
Helpfulness—
Fair grading—
5 lenses
About

Shankar Sastry is a Computer Science scholar at University of California, Berkeley. Research spans Formal Methods in Verification. 457 works, 56k citations (h-index 90).

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

Professor · University of California, Berkeley

Most-cited work

Wiki completeness4 / 12
33%

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