Rajeev Alur - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual American computer scientist Fellow of the Association for Computing Machinery Living person People by Erdős number Stanford University alumnus Scientist at Bell Labs American person of Indian descent Indian expatriate in the United States
rdfs:label	Rajeev Alur
owl:sameAs	dbr:Rajeev_Alur
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Symposium_on_Logic_in_Computer_Science http://en.wikipedia.org/wiki/Category:Scientists_at_Bell_Labs http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Stanford_University_alumni http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science http://en.wikipedia.org/wiki/ACM_SIGLOG http://en.wikipedia.org/wiki/Category:American_people_of_Indian_descent http://en.wikipedia.org/wiki/Category:American_people_of_Indian_descent_by_occupation http://en.wikipedia.org/wiki/Category:Indian_expatriates_in_the_United_States
skos:prefLabel	Rajeev Alur
skos:altLabel	Alur
clgo:institution	Bell Labs
is clgo:notableStudent of	David L. Dill

About: clgr:Rajeev_Alur