Madhusudan Parthasarathy

E243474

Madhusudan Parthasarathy is a computer scientist known for research contributions in formal methods and related areas, including coauthoring work with Rajeev Alur.

All labels observed (1)

Label Occurrences
Madhusudan Parthasarathy canonical 1

How this entity was disambiguated

Statements (9)

Predicate Object
instanceOf computer scientist
researcher
coauthorWith Rajeev Alur
fieldOfWork computer science
formal methods
theoretical computer science
hasFamilyName Parthasarathy
hasGivenName Madhusudan
notableFor research in formal methods

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Rajeev Alur coAuthor Madhusudan Parthasarathy