About: Arvind (computer scientist)

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to data flow and multi-thread computing and the development of tools for the high-level synthesis of hardware.

Property	Value
dbo:abstract	Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to data flow and multi-thread computing and the development of tools for the high-level synthesis of hardware. (en) Arvind Mithal é um informático estadunidense. (pt)
dbo:academicDiscipline	dbr:Computer_science
dbo:birthPlace	dbr:India
dbo:institution	dbr:University_of_California,_Irvine dbr:University_of_Tokyo dbr:Massachusetts_Institute_of_Technology dbr:Bluespec dbr:Indian_Institutes_of_Technology
dbo:knownFor	dbr:Parallel_computing dbr:Dataflow_architecture dbr:Formal_verification
dbo:wikiPageID	12053415 (xsd:integer)
dbo:wikiPageLength	11090 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1095899375 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Electronic_design_automation dbr:List_of_Fellows_of_the_Association_for_Computing_Machinery dbr:University_of_California,_Irvine dbr:University_of_Minnesota dbr:University_of_Tokyo dbr:Infosys_Prize dbr:International_Parallel_and_Distributed_Processing_Symposium dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Compiler dbr:Computer_History_Museum dbr:Computer_Science dbr:Massachusetts_Institute_of_Technology dbr:Master_of_Science dbr:Rewriting dbr:Electrical_engineering dbr:Fujitsu dbr:Motorola dbr:Andover,_Massachusetts dbr:Los_Alamos_National_Laboratory dbr:MIT_Computer_Science_and_Artificial_Intelligence_Laboratory dbr:Computer_engineering dbr:Computer_science dbr:Parallel_computing dbr:Bachelor_of_Science dbc:American_computer_scientists dbc:American_people_of_Indian_descent dbc:Fellow_Members_of_the_IEEE dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Members_of_the_United_States_National_Academy_of_Engineering dbr:Broadcom_Corporation dbr:Dataflow_architecture dbr:Waltham,_Massachusetts dbr:Doctor_of_Philosophy dbc:MIT_School_of_Engineering_faculty dbr:Formal_verification dbr:Journal_of_Functional_Programming dbr:Haskell_(programming_language) dbr:Association_for_Computing_Machinery dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:IIT_Kanpur_alumni dbc:University_of_Minnesota_College_of_Science_and_Engineering_alumni dbr:Bluespec dbr:IIT_Kanpur dbr:India dbr:Indian_Institutes_of_Technology dbr:Institute_of_Electrical_and_Electronics_Engineers dbr:National_Academy_of_Engineering dbr:Operating_system dbr:Fabless_manufacturing dbr:Programming_language dbr:Digital_system
dbp:birthPlace	dbr:India
dbp:education	dbr:IIT_Kanpur University of Minnesota (en)
dbp:fields	dbr:Computer_science
dbp:knownFor	Compiling languages on parallel machines (en) Development of dynamic dataflow architectures (en) Formal verification of large digital systems (en) Parallel computing programming languages Id, pH (en)
dbp:name	Arvind (en)
dbp:nationality	Indian (en)
dbp:wikiPageUsesTemplate	dbt:As_of dbt:Authority_control dbt:Citation_needed dbt:Reflist dbt:Short_description dbt:Use_Indian_English dbt:Use_dmy_dates dbt:Infobox_scientist
dbp:workplaces	dbr:University_of_California,_Irvine dbr:University_of_Tokyo dbr:Massachusetts_Institute_of_Technology dbr:Bluespec dbr:Indian_Institutes_of_Technology Sandburst (en)
dcterms:subject	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:American_computer_scientists dbc:American_people_of_Indian_descent dbc:Fellow_Members_of_the_IEEE dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Members_of_the_United_States_National_Academy_of_Engineering dbc:MIT_School_of_Engineering_faculty dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:IIT_Kanpur_alumni dbc:University_of_Minnesota_College_of_Science_and_Engineering_alumni
gold:hypernym	dbr:Professor
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanComputerScientists yago:WikicatAmericanPeopleOfIndianDescent dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople wikidata:Q901 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatFellowsOfTheAmericanAcademyOfArtsAndSciences yago:WikicatFellowsOfTheAssociationForComputingMachinery
rdfs:comment	Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to data flow and multi-thread computing and the development of tools for the high-level synthesis of hardware. (en) Arvind Mithal é um informático estadunidense. (pt)
rdfs:label	Arvind (computer scientist) (en) Arvind Mithal (pt)
owl:sameAs	freebase:Arvind (computer scientist) yago-res:Arvind (computer scientist) https://dblp.org/pid/a/Arvind http://viaf.org/viaf/165408892 wikidata:Arvind (computer scientist) http://mg.dbpedia.org/resource/Arvind dbpedia-pt:Arvind (computer scientist) https://global.dbpedia.org/id/4SnQe
prov:wasDerivedFrom	wikipedia-en:Arvind_(computer_scientist)?oldid=1095899375&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Arvind_(computer_scientist)
foaf:name	Arvind (en)
is dbo:doctoralAdvisor of	dbr:David_Culler dbr:James_Hoe dbr:Greg_Papadopoulos
is dbo:wikiPageDisambiguates of	dbr:Arvind
is dbo:wikiPageWikiLink of	dbr:List_of_computer_scientists dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:MIT_Electrical_Engineering_and_Computer_Science_Department dbr:David_Culler dbr:List_of_University_of_Minnesota_people dbr:International_Parallel_and_Distributed_Processing_Symposium dbr:List_of_members_of_the_National_Academy_of_Engineering_(Computer_science) dbr:List_of_programmers dbr:Harry_H._Goode_Memorial_Award dbr:Id_(programming_language) dbr:List_of_American_Academy_of_Arts_and_Sciences_members_(2006–2019) dbr:Dataflow dbr:Paris_Kanellakis dbr:List_of_Indian_Americans dbr:Jack_Dennis dbr:James_Hoe dbr:Bluespec dbr:Arvind dbr:Greg_Papadopoulos
is dbp:doctoralAdvisor of	dbr:David_Culler dbr:James_Hoe dbr:Greg_Papadopoulos
is foaf:primaryTopic of	wikipedia-en:Arvind_(computer_scientist)