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 ⓘ